flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8
9
fn main() {
  let mut x = 1;
  let mut y = 1;
  let mut a = &mut x;
  let b = &mut a;
  *b = &mut y;
  **b = 2;
  `(y)`;
}