flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6

fn foo(`[x: i32]`) -> i32 {
  print!("{}", `[x]`);
  let y = 1;
  y
}
fn main() {}