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)
234
var interproceduralState =
InterproceduralStateLattice
.Top;