Hierarchy For Package heros.fieldsens

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • heros.fieldsens.AccessPath<T>
  • heros.fieldsens.AccessPath.Delta<T>
  • heros.fieldsens.AccessPathHandler<Field,Fact,Stmt,Method>
  • heros.fieldsens.BiDiFieldSensitiveIFDSSolver<Field,Fact,Stmt,Method,I>
  • heros.fieldsens.CallEdge<Field,Fact,Stmt,Method>
  • heros.fieldsens.Context<Field,Fact,Stmt,Method>
  • heros.fieldsens.Debugger.NullDebugger<Field,Fact,Stmt,Method> (implements heros.fieldsens.Debugger<Field,Fact,Stmt,Method>)
  • heros.fieldsens.FieldSensitiveIFDSSolver<FieldRef,D,N,M,I>
  • heros.fieldsens.FlowFunction.ConstrainedFact<FieldRef,D,Stmt,Method>
  • heros.fieldsens.FlowFunction.ReadFieldConstraint<FieldRef> (implements heros.fieldsens.FlowFunction.Constraint<FieldRef>)
  • heros.fieldsens.FlowFunction.WriteFieldConstraint<FieldRef> (implements heros.fieldsens.FlowFunction.Constraint<FieldRef>)
  • heros.fieldsens.MethodAnalyzerImpl<Field,Fact,Stmt,Method> (implements heros.fieldsens.MethodAnalyzer<Field,Fact,Stmt,Method>)
  • heros.fieldsens.PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>
  • heros.fieldsens.Resolver<Field,Fact,Stmt,Method>
    • heros.fieldsens.ResolverTemplate<Field,Fact,Stmt,Method,Incoming>
      • heros.fieldsens.ControlFlowJoinResolver<Field,Fact,Stmt,Method>
      • heros.fieldsens.ReturnSiteResolver<Field,Fact,Stmt,Method>
      • heros.fieldsens.ZeroCallEdgeResolver<Field,Fact,Stmt,Method>
  • heros.fieldsens.Scheduler
  • heros.fieldsens.SourceStmtAnnotatedMethodAnalyzer<Field,Fact,Stmt,Method> (implements heros.fieldsens.MethodAnalyzer<Field,Fact,Stmt,Method>)

Interface Hierarchy

• heros.fieldsens.AccessPathHandler.ResultBuilder<FieldRef,FactAbstraction,Stmt,Method>
• heros.fieldsens.Debugger<Field,Fact,Stmt,Method>
• heros.fieldsens.FactMergeHandler<Fact>
• heros.fieldsens.FlowFunction<FieldRef,D,Stmt,Method>
• heros.fieldsens.FlowFunction.Constraint<FieldRef>
• heros.fieldsens.FlowFunctions<Stmt,FieldRef,F,Method>
• heros.fieldsens.InterestCallback<Field,Fact,Stmt,Method>
• heros.fieldsens.MethodAnalyzer<Field,Fact,Stmt,Method>
• heros.SolverConfiguration
  • heros.fieldsens.IFDSTabulationProblem<N,FieldRef,D,M,I>
• heros.fieldsens.SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt>
• heros.fieldsens.ZeroHandler<Field>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • heros.fieldsens.AccessPath.PrefixTestResult