Package heros.fieldsens

Interface Summary

Interface	Description
AccessPathHandler.ResultBuilder<FieldRef,FactAbstraction,Stmt,Method>
Debugger<Field,Fact,Stmt,Method>
FactMergeHandler<Fact>
FlowFunction<FieldRef,D,Stmt,Method>	A flow function computes which of the finitely many D-type values are reachable from the current source values.
FlowFunction.Constraint<FieldRef>
FlowFunctions<Stmt,FieldRef,F,Method>	Classes implementing this interface provide a factory for a range of flow functions used to compute which D-type values are reachable along the program's control flow.
IFDSTabulationProblem<N,FieldRef,D,M,I extends InterproceduralCFG<N,M>>	A tabulation problem for solving in an IFDSSolver as described by the Reps, Horwitz, Sagiv 1995 (RHS95) paper.
InterestCallback<Field,Fact,Stmt,Method>
MethodAnalyzer<Field,Fact,Stmt,Method>
SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt>
ZeroHandler<Field>

Class Summary

Class	Description
AccessPath<T>
AccessPath.Delta<T>
AccessPathHandler<Field,Fact,Stmt,Method>
BiDiFieldSensitiveIFDSSolver<Field,Fact,Stmt,Method,I extends InterproceduralCFG<Stmt,Method>>
CallEdge<Field,Fact,Stmt,Method>
Context<Field,Fact,Stmt,Method>
ControlFlowJoinResolver<Field,Fact,Stmt,Method>
Debugger.NullDebugger<Field,Fact,Stmt,Method>
FieldSensitiveIFDSSolver<FieldRef,D,N,M,I extends InterproceduralCFG<N,M>>
FlowFunction.ConstrainedFact<FieldRef,D,Stmt,Method>
FlowFunction.ReadFieldConstraint<FieldRef>
FlowFunction.WriteFieldConstraint<FieldRef>
MethodAnalyzerImpl<Field,Fact,Stmt,Method>
PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>
Resolver<Field,Fact,Stmt,Method>
ResolverTemplate<Field,Fact,Stmt,Method,Incoming>
ReturnSiteResolver<Field,Fact,Stmt,Method>
Scheduler
SourceStmtAnnotatedMethodAnalyzer<Field,Fact,Stmt,Method>
ZeroCallEdgeResolver<Field,Fact,Stmt,Method>

Enum Summary

Enum	Description
AccessPath.PrefixTestResult