Module value_set 

Constant-value-set reachability query.

Build a value-set query Program:

use weir::value_set::value_set;

let program = value_set(4, "const_in", "query", "out");

value_set - constant-value set: enumerate constants reachable to a node. Used by dataflow consumers for “magic-number reaches sink” patterns.

Structs

ValueSet

Soundness marker for value_set.

Functions

value_set

Build a value-set query Program.