flowistry 0.5.44

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

fn main() {
  let x = 1;
  (|| {
    `[let y = 1;]`
    let z = 2;
    `[y;]`
  })();
}