A Survey of Symbolic Execution Techniques · HackerPapers discussions

A Survey of Symbolic Execution Techniques — HN submission

Tue, 21 May 2019 11:34:46 GMT

A Survey of Symbolic Execution Techniques (2018)

117 points; 35 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Survey of Symbolic Execution Techniques — HN submission

Wed, 30 May 2018 10:13:23 GMT

A Survey of Symbolic Execution Techniques (2018)

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Survey of Symbolic Execution Techniques — mentioned by touisteur

Sun, 11 Mar 2018 00:05:41 GMT

Or cbmc (some interesting papers : http://www.cprover.org/cbmc/applications/), they're on GitHub : https://github.com/diffblue/cbmc), seems to also handle java, not sure... Or angr (http://angr.io) which works on binaries and is in python and is loads of fun to use... On small codebases ? Still some people have used it in combination with AFL to help the fuzzer when it's stuck ('driller' : https://github.com/shellphish/driller) Or manticore (you'll need IDA Pro there ?) : https://blog.trailofbits.com/2017/04/27/manticore-symbolic-e... There's a good survey there…

Paper and discussion history. A mention is not an endorsement.

A Survey of Symbolic Execution Techniques — HN submission

Sun, 12 Nov 2017 18:21:39 GMT

A Survey of Symbolic Execution Techniques

3 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Survey of Symbolic Execution Techniques — HN submission

Wed, 08 Nov 2017 03:52:43 GMT

A Survey of Symbolic Execution Techniques

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.