Package sootup.analysis.intraprocedural

package sootup.analysis.intraprocedural

Related Packages

Package	Description
sootup.analysis.intraprocedural.reachingdefs

Class	Description
AbstractFlowAnalysis<F>	An abstract class providing a meta-framework for carrying out dataflow analysis.
BackwardFlowAnalysis<A>
Fact<S>	simple dataflow fact for interprocedural dataflow analysis adaptable with a state enum *
FlowAnalysis<A>	An abstract class providing a framework for carrying out dataflow analysis.
FlowAnalysis.Flow
ForwardFlowAnalysis<A>
UniverseSortedPriorityQueue<E>	TLDR: this class implements sorting a priorityquueue based on the order of items in a List (i.e.