flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6

fn main() {
  let mut y = Box::new(0);
  *y = 1;
  let w = y;
  let `(z)` = *w;
}