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)`;
}