flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
fn foo() {
  let x = 1;
  let `(y)` = &&&x;
  let a = ***y;
}