flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7

fn foo(`[x: (&mut i32,)]`) {
  `[*x.0 = 2;]`
  `[let y = *x.0;]`
  `[y;]`
}

fn main() {}