flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7

trait Foo {
  fn bar(&self, `[x: i32]`) {
    `[let mut y = x + 1;]`
    `[y -= 1;]`
    `[y;]`
  }
}