flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5

fn foo(`[x: i32]`) {
  `[let y = x + 1;]`
  `[let z = y;]`
}
fn main() {}