org.sonar.javascript.se

Class SymbolicExecution

java.lang.Object

org.sonar.javascript.se.SymbolicExecution

public class SymbolicExecution
extends Object

Constructor Summary

Constructors

Constructor and Description
SymbolicExecution(Scope functionScope, ControlFlowGraph cfg, List<SeCheck> checks)

Method Summary

Modifier and Type	Method and Description
Constraint	getReturnConstraint()
Symbol	trackedVariable(Tree tree)
void	visitCfg(ProgramState initialStateWithParameters)

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicExecution

public SymbolicExecution(Scope functionScope,
                         ControlFlowGraph cfg,
                         List<SeCheck> checks)

Method Detail

visitCfg

public void visitCfg(ProgramState initialStateWithParameters)

getReturnConstraint

public Constraint getReturnConstraint()

trackedVariable

@CheckForNull
public Symbol trackedVariable(Tree tree)