Package qilin.core.config

Class PointerAnalysisComponents

java.lang.Object

qilin.core.config.PointerAnalysisComponents

public final class PointerAnalysisComponents
extends Object

Centralizes the two cross-cutting policy decisions (heap abstraction, ignore-type context selector wrapping) that used to be copy-pasted, identically, across every qilin.pta.tools.* constructor.

Method Summary

Modifier and Type	Method	Description
static ContextSelector	createContextSelector(PointerAnalysisConfig config, View view, ContextSensitivity contextSensitivity)
static HeapAbstractor	createHeapAbstractor(PointerAnalysisConfig config, PAG pag)
static ContextSelector	wrapIgnoreTypesGuard(PointerAnalysisConfig config, View view, ContextSelector base)	Wraps base with a HeuristicSelector guard that forces an empty context for ignore-types, when the config asks for it; otherwise returns base unchanged.

Methods inherited from class java.lang.Object

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

Method Details

createHeapAbstractor

public static HeapAbstractor createHeapAbstractor(PointerAnalysisConfig config,
 PAG pag)

createContextSelector

public static ContextSelector createContextSelector(PointerAnalysisConfig config,
 View view,
 ContextSensitivity contextSensitivity)

wrapIgnoreTypesGuard

public static ContextSelector wrapIgnoreTypesGuard(PointerAnalysisConfig config,
 View view,
 ContextSelector base)

Wraps base with a HeuristicSelector guard that forces an empty context for ignore-types, when the config asks for it; otherwise returns base unchanged.