A Survey of Symbolic Execution Techniques (2018)

Re:A Survey of Symbolic Execution Techniques (2018) by debatem1 on Tuesday May 21, 2019 @12:25PM (#19971679)

I've used Klee and Triton in industrial settings, but had to abandon Klee due to the many headaches of packaging and distributing it.

[ Parent | on HN ]

Re:A Survey of Symbolic Execution Techniques (2018) by touisteur on Thursday May 23, 2019 @02:59AM (#19989225)

I'm curious about what are the difficulties of packaging KLEE. Isn't there a docker image you can use ?

I know installing it from source is a pain, but a scriptable pain.

I'm also wondering (curiosity) why you'd have to package and deliver it (to customers ?). I always saw it as a developer tool. Seems you're working on very interesting stuff :-)

[ Parent | on HN ]

Re:A Survey of Symbolic Execution Techniques (2018) by debatem1 on Thursday May 23, 2019 @12:26PM (#19993152)

Yeah, it isn't literally impossible to build-- but the fact that it's enough of a pain to do so that they distribute a docker image should sort of tell the story :). Unfortunately, for IT policy reasons we couldn't use that, and our platform was a bit unusual anyway.

In terms of packaging, it's nothing exciting-- we just had to produce a .deb if we wanted to install something on a build or test server.

[ Parent | on HN ]