flowistry (cargo): Modular information flow analysis
Keywords: dataflow|rust|static-analysis|vscode