Google Git
Sign in
eclipse / efm / org.eclipse.efm-symbex / ba0bfc68aaeb6119999e96773d3c7b89ddc4bcbb / . / org.eclipse.efm.symbex / src / sew
tree: 82417290c3a3aac4f2fd2b45c280030ab82c069b [path history] [tgz]
  1. CMakeLists.txt
  2. Configuration.cpp
  3. Configuration.h
  4. README.md
  5. SEW.md
  6. SymbexController.cpp
  7. SymbexController.h
  8. SymbexControllerRequestManager.cpp
  9. SymbexControllerRequestManager.h
  10. SymbexControllerRequestStatus.h
  11. SymbexControllerUnitManager.cpp
  12. SymbexControllerUnitManager.h
  13. SymbexDispatcher.cpp
  14. SymbexDispatcher.h
  15. SymbexEngine.cpp
  16. SymbexEngine.h
  17. SymbexEventManager.cpp
  18. SymbexEventManager.h
  19. SymbexJob.h
  20. SymbexProcessor.cpp
  21. SymbexProcessor.h
  22. Workflow.cpp
  23. Workflow.h
org.eclipse.efm.symbex/src/sew/README.md

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