public class ResourceLeakAnalysis extends CalledMethodsAnalysis
MustCallConsistencyAnalyzer. See MustCallConsistencyAnalyzer.ignoredExceptionTypes.CFAbstractAnalysis.FieldInitialValue<V extends CFAbstractValue<V>>AbstractAnalysis.WorklistAnalysis.BeforeOrAfter, Analysis.DirectionignoredExceptionTypesatypeFactory, checker, dependentTypesHelper, env, fieldValues, qualifierHierarchy, typeHierarchy, typesblockCount, elseStores, maxCountBeforeWidening, storesAtReturnStatements, thenStorescfg, currentInput, currentNode, currentTree, direction, finalLocalValues, inputs, isRunning, nodeValues, transferFunction, worklist| Modifier | Constructor and Description |
|---|---|
protected |
ResourceLeakAnalysis(BaseTypeChecker checker,
CalledMethodsAnnotatedTypeFactory factory)
Creates a new
CalledMethodsAnalysis. |
isIgnoredExceptionTypecreateAbstractValue, createCopiedStore, createEmptyStorecreateAbstractValue, createSingleAnnotationValue, createTransferFunction, defaultCreateAbstractValue, getEnv, getFieldInitialValues, getTypeFactory, getTypeHierarchy, getTypes, performAnalysisaddStoreBefore, callTransferFunction, getInput, getInputBefore, getReturnStatementStores, getStoreBefore, initFields, initInitialInputs, performAnalysis, performAnalysisBlock, propagateStoresTo, runAnalysisForaddToWorklist, getContainingClass, getContainingMethod, getCurrentTree, getDirection, getExceptionalExitStore, getNodesForTree, getNodeValues, getRegularExitStore, getResult, getTransferFunction, getValue, getValue, init, isRunning, readFromStore, setCurrentNode, setCurrentTree, updateNodeValuesclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetDirection, getExceptionalExitStore, getRegularExitStore, getResult, getTransferFunction, getValue, getValue, isRunningprotected ResourceLeakAnalysis(BaseTypeChecker checker, CalledMethodsAnnotatedTypeFactory factory)
CalledMethodsAnalysis.checker - the checkerfactory - the factory