flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8
9
struct A(i32);
struct B<'a>(&'a A);
struct C<'a, 'b>(&'b B<'a>);
struct D<'a, 'b, 'c>(&'c C<'a, 'b>);

fn foo() {
  let `(x)` = D(&C(&B(&A(0))));
  let y = x.0.0.0.0 + 1;
}