News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.