c

tip.concolic

SymbolicInterpreter

abstract class SymbolicInterpreter extends Interpreter

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

Instance Constructors

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

Type Members

  1. case class ConcolicState(symbols: List[Symbol] = Nil, ct: ExecutionTree, counter: Int = 0, inputs: List[Int], usedInputs: List[Int] = Nil) extends Product with Serializable
  2. type Env = Map[ADeclaration, SymbolicValues.Location]
    Definition Classes
    Interpreter
  3. type Extra = ConcolicState
    Definition Classes
    SymbolicInterpreterInterpreter
  4. class ExecutionError extends TipProgramException
    Definition Classes
    Interpreter
  5. case class Store(content: Map[ReferenceValue, Value], extra: Extra) extends Product with Serializable
    Definition Classes
    Interpreter

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def branchTaken(guard: AExpr, value: SymbolicValues.EValue, branch: Boolean, store: Store): Store
    Attributes
    protected
    Definition Classes
    SymbolicInterpreterInterpreter
  6. val capturedOut: StringBuilder
    Definition Classes
    Interpreter
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def errorAccessMissingField(loc: Loc, rec: SymbolicValues.RecordValue, field: String, store: Store): Nothing
    Definition Classes
    Interpreter
  11. def errorAccessNonRecord(loc: Loc, x: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  12. def errorArithmeticOnNonInt(loc: Loc, op: BinaryOperator, store: Store): Nothing
    Definition Classes
    Interpreter
  13. def errorCallNotFunction(loc: Loc, funValue: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  14. def errorConditionNotInt(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  15. def errorDerefNotPointer(loc: Loc, x: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  16. def errorErrorNonInt(loc: Loc, v: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  17. def errorInputNotInt(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  18. def errorNullDereference(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  19. def errorOutputNotInt(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  20. def errorReturnNotInt(loc: Loc, fun: AFunDeclaration, store: Store): Nothing
    Definition Classes
    Interpreter
  21. def errorUninitializedLocation(loc: Loc, store: Store): Nothing
    Definition Classes
    Interpreter
  22. def errorWriteFieldRecord(loc: Loc, x: SymbolicValues.EValue, store: Store): Nothing
    Definition Classes
    Interpreter
  23. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  25. def input(exp: AExpr, env: Env, store: Store): (SymbolicValues.EValue, Store)

    Takes an integer input from stdin.

    Takes an integer input from stdin.

    Attributes
    protected
    Definition Classes
    SymbolicInterpreterInterpreter
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. val log: Logger
    Definition Classes
    Interpreter
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  31. def semc(stm: AStmt, env: Env, store: Store): (Env, Store)

    Semantics for statements (including local variable declarations).

    Semantics for statements (including local variable declarations).

    stm

    the statement to execute

    env

    the initial environment

    store

    the initial store

    returns

    the resulting environment and store

    Attributes
    protected
    Definition Classes
    Interpreter
  32. def semeref(exp: FieldAssignable, env: Env, store: Store): (SymbolicValues.ReferenceValue, String, Store)

    Semantics for field lvalue expressions.

    Semantics for field lvalue expressions.

    exp

    the lvalue expression to execute

    env

    the environment

    store

    the initial store

    returns

    the resulting location, field, and store

    Attributes
    protected
    Definition Classes
    Interpreter
  33. def semeref(exp: ReferenceAssignable, env: Env, store: Store): (SymbolicValues.ReferenceValue, Store)

    Semantics for ordinary lvalue expressions.

    Semantics for ordinary lvalue expressions.

    exp

    the lvalue expression to execute

    env

    the environment

    store

    the initial store

    returns

    the resulting location and store

    Attributes
    protected
    Definition Classes
    Interpreter
  34. def semeright(exp: AExpr, env: Env, store: Store): (SymbolicValues.EValue, Store)

    Semantics for right-hand-side expressions.

    Semantics for right-hand-side expressions.

    exp

    the expression to execute

    env

    the environment

    store

    the initial store

    returns

    the resulting value and store

    Attributes
    protected
    Definition Classes
    Interpreter
  35. def semp(): SymbolicValues.IntValue
  36. def semp(ct: ExecutionTree, inputs: List[Int]): (SymbolicValues.IntValue, Store)
  37. def semp(initEnv: Env, initStore: Store): (SymbolicValues.IntValue, Store)

    Semantics for programs.

    Semantics for programs.

    returns

    the resulting value

    Definition Classes
    Interpreter
  38. val spec: SymbolicValues.type
    Definition Classes
    SymbolicInterpreterInterpreter
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Interpreter

Inherited from AnyRef

Inherited from Any

Ungrouped