flowistry 0.5.44

Modular information flow analysis
1
2
3

fn bar(`[x: (i32, i32)]`) {
  `[let y = x.0;]`
}