News for hackers. Stuff that matters.

A comment on A Survey of Symbolic Execution Techniques (2018). Parent comment

Re:A Survey of Symbolic Execution Techniques (2018) by touisteur on Wednesday May 22, 2019 @07:30PM (#19986734)
Thanks pag for the correction on remill. And I didn't know about mcsema/dyninst, great !

Do you have something written somewhere on how you would do different from KLEE ?

[ Parent | on HN ]
Re:A Survey of Symbolic Execution Techniques (2018) by pag on Monday May 27, 2019 @10:49AM (#20022562)
Nope :-P
[ Parent | on HN ]