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