Module flowistry::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