flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
async fn foobar(x: &mut i32) -> i32 { 0 }
async fn test() {
  `[let mut x = 1;]`
  `[foobar(&mut x).await;]`
  `[x;]`
}
fn main() {}