Uses of Class
pascal.taie.config.AnalysisConfig
Package
Description
This package provides functionality to analyze exceptions.
Provides the classes necessary to build and represent a call graph.
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
This package implements modification side-effect analysis (MOD) which
computes the objects that may be modified by each method and statement.
This package provides functionality for processing options and configurations.
-
Uses of AnalysisConfig in pascal.taie
-
Uses of AnalysisConfig in pascal.taie.analysis
ModifierConstructorDescriptionprotected
Analysis
(AnalysisConfig config) protected
ClassAnalysis
(AnalysisConfig config) protected
MethodAnalysis
(AnalysisConfig config) protected
ProgramAnalysis
(AnalysisConfig config) -
Uses of AnalysisConfig in pascal.taie.analysis.bugfinder
ModifierConstructorDescriptionCloneIdiom
(AnalysisConfig config) DroppedException
(AnalysisConfig config) -
Uses of AnalysisConfig in pascal.taie.analysis.bugfinder.nullpointer
ModifierConstructorDescriptionIsNullAnalysis
(AnalysisConfig config) NullPointerDetection
(AnalysisConfig config) -
Uses of AnalysisConfig in pascal.taie.analysis.dataflow.analysis
ModifierConstructorDescriptionprotected
AnalysisDriver
(AnalysisConfig config) LiveVariable
(AnalysisConfig config) ReachingDefinition
(AnalysisConfig config) -
Uses of AnalysisConfig in pascal.taie.analysis.dataflow.analysis.availexp
-
Uses of AnalysisConfig in pascal.taie.analysis.dataflow.analysis.constprop
-
Uses of AnalysisConfig in pascal.taie.analysis.dataflow.inter
ModifierConstructorDescription -
Uses of AnalysisConfig in pascal.taie.analysis.deadcode
-
Uses of AnalysisConfig in pascal.taie.analysis.defuse
-
Uses of AnalysisConfig in pascal.taie.analysis.exception
-
Uses of AnalysisConfig in pascal.taie.analysis.graph.callgraph
-
Uses of AnalysisConfig in pascal.taie.analysis.graph.cfg
-
Uses of AnalysisConfig in pascal.taie.analysis.graph.icfg
-
Uses of AnalysisConfig in pascal.taie.analysis.misc
ModifierConstructorDescriptionIRDumper
(AnalysisConfig config) ResultProcessor
(AnalysisConfig config) -
Uses of AnalysisConfig in pascal.taie.analysis.pta
-
Uses of AnalysisConfig in pascal.taie.analysis.pta.client
ModifierConstructorDescriptionMayFailCast
(AnalysisConfig config) PolymorphicCallSite
(AnalysisConfig config) -
Uses of AnalysisConfig in pascal.taie.analysis.sideeffect
-
Uses of AnalysisConfig in pascal.taie.config
Modifier and TypeMethodDescriptionstatic AnalysisConfig
Convenient static factory for creating an AnalysisConfig by merely specifying id and options.Modifier and TypeMethodDescriptionPlan.analyses()
Returns the value of theanalyses
record component.Plan.dependenceGraph()
Returns the value of thedependenceGraph
record component.static List<AnalysisConfig>
AnalysisConfig.parseConfigs
(InputStream content) Parses a list of AnalysisConfig from given input stream.ModifierConstructorDescriptionConfigManager
(List<AnalysisConfig> configs) Plan
(List<AnalysisConfig> analyses, Graph<AnalysisConfig> dependenceGraph, Set<String> keepResult) Creates an instance of aPlan
record class.Plan
(List<AnalysisConfig> analyses, Graph<AnalysisConfig> dependenceGraph, Set<String> keepResult) Creates an instance of aPlan
record class. -
Uses of AnalysisConfig in pascal.taie.frontend.cache
Modifier and TypeMethodDescriptionvoid
CachedWorldBuilder.build
(Options options, List<AnalysisConfig> analyses) -
Uses of AnalysisConfig in pascal.taie.frontend.soot
Modifier and TypeMethodDescriptionvoid
SootWorldBuilder.build
(Options options, List<AnalysisConfig> analyses)