1 write to InterproceduralStateLattice
illink (1)
Linker.Dataflow\MethodBodyScanner.cs (1)
54
this.
InterproceduralStateLattice
= new InterproceduralStateLattice(default, default, context);
1 reference to InterproceduralStateLattice
illink (1)
Linker.Dataflow\MethodBodyScanner.cs (1)
255
var interproceduralState =
InterproceduralStateLattice
.Top;