EFM-SYMBEX::SEW : Symbolic Execution Workflow

Source code structure

Interfaces

Symbex Job

Define common properties an behaviors of Symbex Controller and Processor

Classes

Symbex Dispatcher

The Symbex workflow scheduler

Symbex Controller

Control [execution] context streams before and after symbolic execution

• before a.k.a. pre-filtering step
• after a.k.a. post-filtering step

Symbex Processor

Perform symbolic execution of a given [execution] contexts

Factories