c

tip.concolic

ConcolicEngine

class ConcolicEngine extends SymbolicInterpreter

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConcolicEngine
  2. SymbolicInterpreter
  3. Interpreter
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ConcolicEngine(program: AProgram)(implicit declData: DeclarationData)

Type Members

  1. type Env = Map[ADeclaration, SymbolicValues.Location]
    Definition Classes
    Interpreter
  2. case class ExFailure(s: ConcolicEngine.ConcolicState, message: String) extends ExecutionResult with Product with Serializable
  3. case class ExSuccess(s: ConcolicEngine.ConcolicState, value: Int) extends ExecutionResult with Product with Serializable
  4. abstract class ExecutionResult extends AnyRef
  5. type Extra = ConcolicState
    Definition Classes
    SymbolicInterpreterInterpreter
  6. case class ConcolicState(symbols: List[Symbol] = Nil, ct: ExecutionTree, counter: Int = 0, inputs: List[Int], usedInputs: List[Int] = Nil) extends Product with Serializable
    Definition Classes
    SymbolicInterpreter
  7. class ExecutionError extends TipProgramException
    Definition Classes
    Interpreter
  8. case class Store(content: Map[ReferenceValue, Value], extra: Extra) extends Product with Serializable
    Definition Classes
    Interpreter

Value Members

  1. val capturedOut: StringBuilder
    Definition Classes
    Interpreter
  2. def errorAccessMissingField(loc: Loc, rec: SymbolicValues.RecordValue, field: String, store: Store): Nothing
    Definition Classes
    Interpreter
  3. def errorAccessNonRecord(loc: Loc, x: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  4. def errorArithmeticOnNonInt(loc: Loc, op: BinaryOperator, store: Store): Nothing
    Definition Classes
    Interpreter
  5. def errorCallNotFunction(loc: Loc, funValue: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  6. def errorConditionNotInt(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  7. def errorDerefNotPointer(loc: Loc, x: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  8. def errorErrorNonInt(loc: Loc, v: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  9. def errorInputNotInt(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  10. def errorNullDereference(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  11. def errorOutputNotInt(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  12. def errorReturnNotInt(loc: Loc, fun: AFunDeclaration, store: Store): Nothing
    Definition Classes
    Interpreter
  13. def errorUninitializedLocation(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  14. def errorWriteFieldRecord(loc: Loc, x: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  15. val log: Logger
    Definition Classes
    ConcolicEngineInterpreter
  16. def newInputs(symbols: List[Symbol], lastNode: ExecutionTree, root: ExecutionTreeRoot): Option[List[Int]]
  17. def nextExplorationTarget(lastExplored: ExecutionTree, root: ExecutionTreeRoot): Option[(Branch, Boolean)]
  18. val program: AProgram
  19. def semp(): SymbolicValues.IntValue
    Definition Classes
    SymbolicInterpreter
  20. def semp(ct: ExecutionTree, inputs: List[Int]): (SymbolicValues.IntValue, Store)
    Definition Classes
    SymbolicInterpreter
  21. def semp(initEnv: Env, initStore: Store): (SymbolicValues.IntValue, Store)

    Semantics for programs.

    Semantics for programs.

    returns

    the resulting value

    Definition Classes
    Interpreter
  22. val spec: SymbolicValues.type
    Definition Classes
    SymbolicInterpreterInterpreter
  23. def test(budget: Int = 20): Unit