flowistry 0.5.44

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

fn main() {
  `[let mut i = 0;]`
  let mut j = 0;
  `[for x in [0]]` {
    `[i += x;]`
    j += x;
  } 
  `[i;]`
}