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;]`
}