flowistry 0.5.44

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

fn foo(x: i32) -> `(Option<i32>)` {
  let y = 1;
  if x > 0 {
    return None;
  }
  
  let z = 2;
  return Some(z);
}