flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5

fn foo(`[x: (&mut i32,)]`) -> `[(&mut i32,)]` {
  `[*x.0 = 1;]`
  `[x]`
}
fn main() {}