3 ms·

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 scrip

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 :-)

debatem1 7y ago
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.