enzet/symbolic-execution

Add missing symbolic engines from A Survey of Symbolic Execution Techniques

enzet opened this issue · 0 comments

enzet commented

Some symbolic engines noted A Survey of Symbolic Execution Techniques paper are missing on diagram:

  • Rubyx,
  • Cloud9,
  • SymDroid,
  • FuzzBALL,
  • Pathgrind,
  • Kite,
  • SymJS,
  • CIVL,
  • KeY,
  • CATG,
  • PySymEmu,
  • Miasm.