Module DeadStore

Provides classes and predicates for reasoning about dead stores.

Import path

Declarations.DeadStore

Imports

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Predicates

isDefaultInit

Holds if e is an expression that may be used as a default initial value, such as 0 or -1, or an empty object or array literal.