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