flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7

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

fn main() {}