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