flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8

struct Foo(usize, usize);
fn main() {
  let a = 1;
  let b = 2;
  let mut `(x)` = Foo(a, b);
  x.0 += 1;
  let z = x.0;
}