|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
ICFGCollection
containing a single interprocedural
control flow graph created from oldCollection
.
MallocTarget
represents the pointer target of a malloc
expression.MallocTarget
pointing to exp
.
MapLattice
defines a map lattice, A → L, from a
fixed set, A, containing the elements of the domain, and a lattice,
L, for the range elements.rangeLattice
as the lattice for
range elements and domainSet
as the domain set.
rangeLattice
as the lattice for
range elements and domainSet
as the domain set.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |