Transcript Schema

Protobuf schema definitions for the concolic driver of Ote, a tool that performs concolic execution on Ruby on Rails applications to enumerate the SQL queries an application may issue and the conditions under which each is issued.

Records the trace produced by a single execution of the application under test.

• transcript.proto — Top-level Transcript message: a sequence of TranscriptElement entries, each one of:

  • PathConditionAtom — a Boolean condition encountered during execution, its outcome (true/false), and the stack trace where it was evaluated.
  • SqlQueryDecl — a SQL query issued by the application, with its parameterized form and origin stack trace.
  • SqlQueryResRowDecl — one result row from a prior query, with column values as symbolic variables.
  • SqlQueryResEnd — signals that all result rows for a query have been recorded.

• expr.proto — Expression language for symbolic values appearing in conditions and query parameters. Covers constants, named variables, binary/unary operators, and generic function calls.

Defines the input/output contract between the concolic driver and the application under test.

• invocation.proto:
  • Invocation — driver input: a map of symbolic input variable values and the SQL statements used to initialize the database for this run.
  • Result — driver output: the Transcript produced by executing the application with the given inputs.