信息流分析

此包包含 Flowistry IDE 插件使用的核心分析。它是一个 Rust 编译器插件，用于计算函数中的信息流。主要分析在 flowistry::infoflow::compute_flow。

文档：https://willcrichton.net/flowistry/flowistry/

有关此分析详情，请参阅我们的论文 "通过所有权的模块化信息流"。如果您在研究中使用 Flowistry，请引用我们的论文

@inproceedings{crichton2022,
  author = {Crichton, Will and Patrignani, Marco and Agrawala, Maneesh and Hanrahan, Pat},
  title = {Modular Information Flow through Ownership}, year = {2022},
  isbn = {9781450392655}, publisher = {Association for Computing Machinery},
  address = {New York, NY, USA}, url = {https://doi.org/10.1145/3519939.3523445},
  booktitle = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
  pages = {1–14}, numpages = {14}, keywords = {information flow, rust, ownership types},
  location = {San Diego, CA, USA}, series = {PLDI 2022}, doi = {10.1145/3519939.3523445},
}