flowistry 0.4.0

Modular information flow analysis
docs.rs failed to build flowistry-0.4.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: flowistry-0.5.39

Information flow analysis

This crate contains the core analysis used by the Flowistry IDE plugin. It is a Rust compiler plugin that computes the information flow within a function. The main analysis is at flowistry::infoflow::compute_flow.

Documentation: https://willcrichton.net/flowistry/flowistry/

For details about this analysis, please read our paper "Modular Information Flow Through Ownership". If you use Flowistry in your research, please cite our paper:

@citation_coming_soon{}