Packages

p

tip

concolic

package concolic

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class Branch extends ExecutionTree

    A node representing a branching in the execution tree

  2. class ConcolicEngine extends SymbolicInterpreter
  3. sealed trait ExecutionTree extends AnyRef

    Execution tree node

  4. class ExecutionTreeRoot extends ExecutionTree

    Special root node of the execution tree

  5. class SubTreePlaceholder extends ExecutionTree

    A node representing a sub-tree of the execution tree with no observed branching

  6. abstract class SymbolicInterpreter extends Interpreter
  7. class UnsatSubTree extends ExecutionTree

    A node representing an unvisited sub-tree of the execution tree, which is known to be unsatisfiable

Value Members

  1. object ExecutionTree
  2. object ExecutionTreePrinter
  3. object SMTSolver
  4. object SymbolicValues extends ValueSpecification

Ungrouped