flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5

fn foo() {
  let x = 1;
  `[let y = &&&x;]`
  `[let a = ***y;]`
}