flowistry 0.5.44

Modular information flow analysis
1
2
3
4
5
6
7
8
9
10
11
12
13

// TODO: y.1 shoudn't be part of the slice
  //   the issue is that when we do z = y, then the collected influence of y
  //   is broadcast into every conflicting place in z. So y.1 -> z -> z.0.
  //   we need something to "match up" influences so y.1 only flows to z.1

fn main() {
  let mut x = 1;
  let mut y = (0, 0);
  y.1 += 1;
  let z = y;
  x += z.0;
  `(x)`;
}