A B C D E F G H I J K L M N O P Q R S T U V W _

M

Main - Class in tip
Commandline interface for the compiler
Main() - Constructor for class tip.Main
 
main(String[]) - Static method in class tip.Main
Main entry point for the TIP compiler.
makeInterprocedural(ICFGCollection, int) - Static method in class tip.cfg.cfa.Interprocedural
Creates a new ICFGCollection containing a single interprocedural control flow graph created from oldCollection.
malloc() - Method in class tip.vm.TipVm
 
MallocTarget - Class in tip.cfg
MallocTarget represents the pointer target of a malloc expression.
MallocTarget(AMallocExp) - Constructor for class tip.cfg.MallocTarget
Creates a new MallocTarget pointing to exp.
MapLattice<A,L> - Class in tip.cfg
MapLattice defines a map lattice, AL, from a fixed set, A, containing the elements of the domain, and a lattice, L, for the range elements.
MapLattice(Collection<A>, Lattice<L>) - Constructor for class tip.cfg.MapLattice
Creates a new map lattice using rangeLattice as the lattice for range elements and domainSet as the domain set.
MapLattice(EqualitySet<A>, Lattice<L>) - Constructor for class tip.cfg.MapLattice
Creates a new map lattice using rangeLattice as the lattice for range elements and domainSet as the domain set.
MAX_LENGTH - Static variable in class tip.cfg.dfa.ReachingDefinitionsAnalysis.AssignVarStmPointStringifier
 
MEM_SIZE - Static variable in class tip.vm.TipVm
 
MINUS_op - Static variable in class tip.cfg.dfa.SignAnalysis
 
mstore(int, int) - Method in class tip.vm.TipVm
 

A B C D E F G H I J K L M N O P Q R S T U V W _