flowistry_pdg_construction

Module body_cache

Source

Structsยง

  • Allows loading bodies from previosly written artifacts.
  • A mir Body and all the additional borrow checking facts that our points-to analysis needs.
  • DumpingVisitor ๐Ÿ”’
    A visitor to collect all bodies in the crate and write them to disk.
  • The subset of borrowcheck facts that the points-to analysis (flowistry) needs.

Constantsยง

Functionsยง

Type Aliasesยง