flowistry 0.5.27

Modular information flow analysis
docs.rs failed to build flowistry-0.5.27
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:

@misc{crichton2021modular,
      title={Modular Information Flow Through Ownership},
      author={Will Crichton and Marco Patrignani and Maneesh Agrawala and Pat Hanrahan},
      year={2021},
      eprint={2111.13662},
      archivePrefix={arXiv},
      primaryClass={cs.PL}
}