Uses of Interface
dev.civl.mc.analysis.IF.CodeAnalyzer

Packages that use CodeAnalyzer

Package	Description
dev.civl.mc.analysis.IF	Module analysis provides a list of analyzers for static/runtime analyzing of a program.
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Uses of CodeAnalyzer in dev.civl.mc.analysis.IF

Methods in dev.civl.mc.analysis.IF that return types with arguments of type CodeAnalyzer

Modifier and Type	Method	Description
static List<CodeAnalyzer>	Analysis.getAnalyzers(CIVLConfiguration config, dev.civl.sarl.IF.SymbolicUniverse universe)	gets all code analyzers as required in the configuration.

Method parameters in dev.civl.mc.analysis.IF with type arguments of type CodeAnalyzer

Modifier and Type	Method	Description
static void	Analysis.analyzeCall(List<CodeAnalyzer> analyzers, State state, int pid, CallOrSpawnStatement statement, dev.civl.sarl.IF.expr.SymbolicExpression[] arguments)	Analyzes a call statement at a certain state.
static void	Analysis.printResults(List<CodeAnalyzer> analyzers, PrintStream out)	prints the analysis result of each code analyzer.
static void	Analysis.staticAnalysis(Statement statement, List<CodeAnalyzer> analyzers)	performs static analysis on the given statement to decide if any code analysis provided by the specified code analyzers is needed.

Uses of CodeAnalyzer in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return types with arguments of type CodeAnalyzer

Modifier and Type	Method	Description
List<CodeAnalyzer>	ModelFactory.codeAnalyzers()	The list of code analyzers associate with this model.

Method parameters in dev.civl.mc.model.IF with type arguments of type CodeAnalyzer

Modifier and Type	Method	Description
void	ModelFactory.setCodeAnalyzers(List<CodeAnalyzer> analyzers)