Class Hierarchy
- java.lang.Object
- it.unive.lisa.interprocedural.BackwardModularWorstCaseAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)
- it.unive.lisa.interprocedural.CallGraphBasedAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)
- it.unive.lisa.interprocedural.ModularWorstCaseAnalysis<A> (implements it.unive.lisa.interprocedural.InterproceduralAnalysis<A>)