flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5

struct Point(i32, i32);
fn foo(`[p: &mut Point]`) {
  `[p.0 += 1;]`
}
fn main() {}