flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8
9
10
11

/* recurse */
// TODO: ideally we could actually verify that the flow for ok is only computed once?

fn ok(x: &i32) {}

fn main() {
  `[let x = 1;]`
  ok(&x);
  ok(&x);
  `[x;]`
}