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.