Package qilin.core.config

Class PointerAnalysisConfig.Builder

java.lang.Object

qilin.core.config.PointerAnalysisConfig.Builder

Enclosing class:

PointerAnalysisConfig

public static final class PointerAnalysisConfig.Builder
extends Object

Method Summary

Modifier and Type	Method	Description
PointerAnalysisConfig.Builder	analysisName(String analysisName)
PointerAnalysisConfig	build()
PointerAnalysisConfig.Builder	clinitVirtualCallResolver(VirtualCallResolver clinitVirtualCallResolver)
PointerAnalysisConfig.Builder	contextSensitivity(ContextSensitivity contextSensitivity)
PointerAnalysisConfig.Builder	ctxDebloating(boolean ctxDebloating)
PointerAnalysisConfig.Builder	debloatApproach(PointerAnalysisConfig.DebloatApproach debloatApproach)
PointerAnalysisConfig.Builder	dumpJimple(boolean dumpJimple)
PointerAnalysisConfig.Builder	dumpLibraryPointsToSet(boolean dumpLibraryPointsToSet)
PointerAnalysisConfig.Builder	dumpPointsToSet(boolean dumpPointsToSet)
PointerAnalysisConfig.Builder	dumpStats(boolean dumpStats)
PointerAnalysisConfig.Builder	enforceEmptyContextForIgnoreTypes(boolean enforceEmptyContextForIgnoreTypes)
PointerAnalysisConfig.Builder	heapAbstractionPolicy(PointerAnalysisConfig.HeapAbstractionPolicy heapAbstractionPolicy)
PointerAnalysisConfig.Builder	outputDirectory(String outputDirectory)
PointerAnalysisConfig.Builder	preAnalysisOnly(boolean preAnalysisOnly)
PointerAnalysisConfig.Builder	preciseArrayElement(boolean preciseArrayElement)
PointerAnalysisConfig.Builder	preciseExceptions(boolean preciseExceptions)
PointerAnalysisConfig.Builder	reflectionLogPath(String reflectionLogPath)
PointerAnalysisConfig.Builder	resolveDynamicInvoke(boolean resolveDynamicInvoke)
PointerAnalysisConfig.Builder	seedEntryPointClinits(boolean seedEntryPointClinits)
PointerAnalysisConfig.Builder	singleEntry(boolean singleEntry)
PointerAnalysisConfig.Builder	stringConstants(boolean stringConstants)
PointerAnalysisConfig.Builder	turnerConfig(PointerAnalysisConfig.TurnerConfig turnerConfig)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

contextSensitivity

public PointerAnalysisConfig.Builder contextSensitivity(ContextSensitivity contextSensitivity)

heapAbstractionPolicy

public PointerAnalysisConfig.Builder heapAbstractionPolicy(PointerAnalysisConfig.HeapAbstractionPolicy heapAbstractionPolicy)

singleEntry

public PointerAnalysisConfig.Builder singleEntry(boolean singleEntry)

seedEntryPointClinits

public PointerAnalysisConfig.Builder seedEntryPointClinits(boolean seedEntryPointClinits)

clinitVirtualCallResolver

public PointerAnalysisConfig.Builder clinitVirtualCallResolver(VirtualCallResolver clinitVirtualCallResolver)

preciseArrayElement

public PointerAnalysisConfig.Builder preciseArrayElement(boolean preciseArrayElement)

stringConstants

public PointerAnalysisConfig.Builder stringConstants(boolean stringConstants)

preciseExceptions

public PointerAnalysisConfig.Builder preciseExceptions(boolean preciseExceptions)

enforceEmptyContextForIgnoreTypes

public PointerAnalysisConfig.Builder enforceEmptyContextForIgnoreTypes(boolean enforceEmptyContextForIgnoreTypes)

reflectionLogPath

public PointerAnalysisConfig.Builder reflectionLogPath(String reflectionLogPath)

resolveDynamicInvoke

public PointerAnalysisConfig.Builder resolveDynamicInvoke(boolean resolveDynamicInvoke)

preAnalysisOnly

public PointerAnalysisConfig.Builder preAnalysisOnly(boolean preAnalysisOnly)

ctxDebloating

public PointerAnalysisConfig.Builder ctxDebloating(boolean ctxDebloating)

debloatApproach

public PointerAnalysisConfig.Builder debloatApproach(PointerAnalysisConfig.DebloatApproach debloatApproach)

turnerConfig

public PointerAnalysisConfig.Builder turnerConfig(PointerAnalysisConfig.TurnerConfig turnerConfig)

analysisName

public PointerAnalysisConfig.Builder analysisName(String analysisName)

outputDirectory

public PointerAnalysisConfig.Builder outputDirectory(String outputDirectory)

dumpJimple

public PointerAnalysisConfig.Builder dumpJimple(boolean dumpJimple)

dumpPointsToSet

public PointerAnalysisConfig.Builder dumpPointsToSet(boolean dumpPointsToSet)

dumpLibraryPointsToSet

public PointerAnalysisConfig.Builder dumpLibraryPointsToSet(boolean dumpLibraryPointsToSet)

dumpStats

public PointerAnalysisConfig.Builder dumpStats(boolean dumpStats)

build

public PointerAnalysisConfig build()