flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6

fn foo(s: &str) {
 let `(x)` = match s {
   "a" => 1,
   _ => 2
 };
}