flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7

fn main() {
   let mut a = 0;
   let b = (1, &mut a);
   *b.1 += 1;
   let c = b;
   `(c)`;
}