flowistry 0.5.44

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

struct Foo(i32, i32);
impl Foo { fn bar(&self) -> i32 { self.0 } }

fn main() {
  let x = 1;
  let y = 2;
  let z = Foo(x, y);
  let w = z.bar();
  `(w)`;
}