flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8
fn main() {
  let mut x = 1;
  `[x = 1;]`
  `[let mut y = 2;]`
  `[let z = if true { &mut x } else { &mut y };]`
  `[*z += 1;]`
  `[x;]`
}