flowistry

Module extensions

Source
Expand description

Extra features for evaluating / ablating the precision of Flowistry’s algorithm.

Structs§

  • EvalMode
    A combination of all the precision levers.

Enums§

  • ContextMode
    Whether Flowistry should attempt to recurse into call-sites to analyze them
  • MutabilityMode
    Whether Flowistry should ignore the distinction between mutable and immtuable references
  • PointerMode
    Whether Flowistry should use lifetimes to distinguish pointers

Statics§

Functions§