flowistry 0.5.44

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

struct Foo;
impl Foo {
  fn bar() -> i32 { 0 }
}

fn ok() {
  let x = `(Foo::bar())`;
  let y = x;
}