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.

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}
}