public class CtlDepAnalysisUtil extends AnalysisUtil<CDAbsVal>
extInfo, instanceInitializersChecked, workQueue
Constructor and Description |
---|
CtlDepAnalysisUtil(WorkQueue<CDAbsVal> workQueue,
AnalysisUnit currentAnalysisUnit,
AccrueExtensionInfo extInfo) |
Modifier and Type | Method and Description |
---|---|
ExitMap<CDAbsVal> |
analyze(polyglot.ast.CodeNode n,
CDAbsVal before)
Analyze the given code with the given current analysis results
|
ExitMap<CDAbsVal> |
analyzeInitializers(CDAbsVal input)
Analyze the initializers for the current analysis unit given the current
analysis results
|
ExitMap<CDAbsVal> |
call(polyglot.ast.Call n) |
ExitMap<CDAbsVal> |
call(polyglot.ast.ConstructorCall n) |
ExitMap<CDAbsVal> |
call(polyglot.ast.New n) |
protected ExitMap<CDAbsVal> |
callNonVirtual(polyglot.types.ProcedureInstance pi,
AnalysisContext calleeContext,
polyglot.ast.Node n)
A non-virtual call to a method instance
|
boolean |
dropBackEdges() |
abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocations, abstractLocationsForArray, abstractLocationsForArray, abstractLocationsForArray, abstractLocationsImplicitTarget, analysisName, analyzeStaticInitializers, createExitMap, currentAnalysisUnit, currentClass, currentContext, extensionInfo, instanceInitializers, leq, maybeRecursiveCall, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsTo, pointsToGraph, pointsToThis, process, recordMissingCode, typeSystem, upperBound, workQueue
public CtlDepAnalysisUtil(WorkQueue<CDAbsVal> workQueue, AnalysisUnit currentAnalysisUnit, AccrueExtensionInfo extInfo)
public ExitMap<CDAbsVal> analyze(polyglot.ast.CodeNode n, CDAbsVal before) throws polyglot.types.SemanticException
AnalysisUtil
analyze
in class AnalysisUtil<CDAbsVal>
n
- Code to analyzebefore
- analysis result before analyzing the given codepolyglot.types.SemanticException
- thrown if the analysis failspublic ExitMap<CDAbsVal> analyzeInitializers(CDAbsVal input) throws polyglot.types.SemanticException
AnalysisUtil
analyzeInitializers
in class AnalysisUtil<CDAbsVal>
input
- current analysis resultspolyglot.types.SemanticException
- thrown if the analysis failsprotected ExitMap<CDAbsVal> callNonVirtual(polyglot.types.ProcedureInstance pi, AnalysisContext calleeContext, polyglot.ast.Node n)
public boolean dropBackEdges()