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