Uses of Class
pascal.taie.config.AnalysisConfig

Packages that use AnalysisConfig

Package	Description
pascal.taie
pascal.taie.analysis
pascal.taie.analysis.bugfinder
pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis
pascal.taie.analysis.dataflow.analysis.availexp
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.deadcode
pascal.taie.analysis.defuse
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.misc
pascal.taie.analysis.pta
pascal.taie.analysis.pta.client
pascal.taie.config	This package provides functionality for processing options and configurations.
pascal.taie.frontend.cache
pascal.taie.frontend.soot

Uses of AnalysisConfig in pascal.taie

Method parameters in pascal.taie with type arguments of type AnalysisConfig

Modifier and Type	Method	Description
void	WorldBuilder.build(Options options, List<AnalysisConfig> analyses)	Builds a new instance of World and make it globally accessible through static methods of World.

Uses of AnalysisConfig in pascal.taie.analysis

Constructors in pascal.taie.analysis with parameters of type AnalysisConfig

Modifier	Constructor	Description
protected	Analysis(AnalysisConfig config)
protected	ClassAnalysis(AnalysisConfig config)
protected	MethodAnalysis(AnalysisConfig config)
protected	ProgramAnalysis(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.bugfinder

Constructors in pascal.taie.analysis.bugfinder with parameters of type AnalysisConfig

Modifier	Constructor	Description
	CloneIdiom(AnalysisConfig config)
	DroppedException(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.bugfinder.nullpointer

Constructors in pascal.taie.analysis.bugfinder.nullpointer with parameters of type AnalysisConfig

Modifier	Constructor	Description
	IsNullAnalysis(AnalysisConfig config)
	NullPointerDetection(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.dataflow.analysis

Constructors in pascal.taie.analysis.dataflow.analysis with parameters of type AnalysisConfig

Modifier	Constructor	Description
protected	AnalysisDriver(AnalysisConfig config)
	LiveVariable(AnalysisConfig config)
	ReachingDefinition(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.dataflow.analysis.availexp

Constructors in pascal.taie.analysis.dataflow.analysis.availexp with parameters of type AnalysisConfig

Modifier	Constructor	Description
	AvailableExpression(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.dataflow.analysis.constprop

Constructors in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type AnalysisConfig

Modifier	Constructor	Description
	ConstantPropagation(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.dataflow.inter

Constructors in pascal.taie.analysis.dataflow.inter with parameters of type AnalysisConfig

Modifier	Constructor	Description
	AbstractInterDataflowAnalysis(AnalysisConfig config)
	InterConstantPropagation(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.deadcode

Constructors in pascal.taie.analysis.deadcode with parameters of type AnalysisConfig

Modifier	Constructor	Description
	DeadCodeDetection(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.defuse

Constructors in pascal.taie.analysis.defuse with parameters of type AnalysisConfig

Modifier	Constructor	Description
	DefUseAnalysis(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.exception

Constructors in pascal.taie.analysis.exception with parameters of type AnalysisConfig

Modifier	Constructor	Description
	ThrowAnalysis(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.graph.callgraph

Constructors in pascal.taie.analysis.graph.callgraph with parameters of type AnalysisConfig

Modifier	Constructor	Description
	CallGraphBuilder(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.graph.cfg

Constructors in pascal.taie.analysis.graph.cfg with parameters of type AnalysisConfig

Modifier	Constructor	Description
	CFGBuilder(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.graph.icfg

Constructors in pascal.taie.analysis.graph.icfg with parameters of type AnalysisConfig

Modifier	Constructor	Description
	ICFGBuilder(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.misc

Constructors in pascal.taie.analysis.misc with parameters of type AnalysisConfig

Modifier	Constructor	Description
	IRDumper(AnalysisConfig config)
	ResultProcessor(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.pta

Constructors in pascal.taie.analysis.pta with parameters of type AnalysisConfig

Modifier	Constructor	Description
	PointerAnalysis(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.analysis.pta.client

Constructors in pascal.taie.analysis.pta.client with parameters of type AnalysisConfig

Modifier	Constructor	Description
	MayFailCast(AnalysisConfig config)
	PolymorphicCallSite(AnalysisConfig config)

Uses of AnalysisConfig in pascal.taie.config

Methods in pascal.taie.config that return AnalysisConfig

Modifier and Type	Method	Description
static AnalysisConfig	AnalysisConfig.of(String id, Object... options)	Convenient static factory for creating an AnalysisConfig by merely specifying id and options.

Methods in pascal.taie.config that return types with arguments of type AnalysisConfig

Modifier and Type	Method	Description
List<AnalysisConfig>	Plan.analyses()	Returns the value of the analyses record component.
Graph<AnalysisConfig>	Plan.dependenceGraph()	Returns the value of the dependenceGraph record component.
static List<AnalysisConfig>	AnalysisConfig.parseConfigs(InputStream content)	Parses a list of AnalysisConfig from given input stream.

Constructor parameters in pascal.taie.config with type arguments of type AnalysisConfig

Modifier	Constructor	Description
	ConfigManager(List<AnalysisConfig> configs)
	Plan(List<AnalysisConfig> analyses, Graph<AnalysisConfig> dependenceGraph, Set<String> keepResult)	Creates an instance of a Plan record class.
	Plan(List<AnalysisConfig> analyses, Graph<AnalysisConfig> dependenceGraph, Set<String> keepResult)	Creates an instance of a Plan record class.

Uses of AnalysisConfig in pascal.taie.frontend.cache

Method parameters in pascal.taie.frontend.cache with type arguments of type AnalysisConfig

Modifier and Type	Method	Description
void	CachedWorldBuilder.build(Options options, List<AnalysisConfig> analyses)

Uses of AnalysisConfig in pascal.taie.frontend.soot

Method parameters in pascal.taie.frontend.soot with type arguments of type AnalysisConfig

Modifier and Type	Method	Description
void	SootWorldBuilder.build(Options options, List<AnalysisConfig> analyses)