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() {}