flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5

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