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() {}