Package qilin.callgraph

Class QilinCallGraphConfig.Builder

java.lang.Object

qilin.callgraph.QilinCallGraphConfig.Builder

Enclosing class:

QilinCallGraphConfig

public static final class QilinCallGraphConfig.Builder
extends Object

Method Summary

Modifier and Type	Method	Description
@NonNull QilinCallGraphConfig	build()
@NonNull QilinCallGraphConfig.Builder	mainClass(@NonNull ClassType mainClass)	Required: qilin's single-entry-point main class (see class javadoc).
@NonNull QilinCallGraphConfig.Builder	pointerAnalysisConfig(@NonNull PointerAnalysisConfig.Builder configBuilder)	Optional: a pre-configured PointerAnalysisConfig.Builder for qilin-specific knobs (context sensitivity, heap abstraction policy, debloating, ...).

Methods inherited from class java.lang.Object

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

Method Details

mainClass

public @NonNull QilinCallGraphConfig.Builder mainClass(@NonNull ClassType mainClass)

Required: qilin's single-entry-point main class (see class javadoc).

pointerAnalysisConfig

public @NonNull QilinCallGraphConfig.Builder pointerAnalysisConfig(@NonNull PointerAnalysisConfig.Builder configBuilder)

Optional: a pre-configured PointerAnalysisConfig.Builder for qilin-specific knobs (context sensitivity, heap abstraction policy, debloating, ...). Its seedEntryPointClinits/clinitVirtualCallResolver are overridden with the common stage's values at build() time, so setting them here has no effect. Defaults to a fresh PointerAnalysisConfig.builder() if not supplied.

build

public @NonNull QilinCallGraphConfig build()