search

PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
GNU General Public License v2.0
215 stars 41 forks source link

please add a Dockerfile #12

Closed vanhauser-thc closed 3 years ago

vanhauser-thc commented 3 years ago

I spend some time to build this and it is quite a hassle especially for the boolector part. For future use - could you supply a Dockerfile? That would make using this much easier :)

deian commented 3 years ago

Sounds like a boolector issue :)

Neither one of us uses Docker and we don't plan to, but we're happy to integrate patches from the community. Happily, @rpw already added created a Docker file in https://github.com/PLSysSec/sys/issues/9. I've included it in the the tree in 821c4d7cf924e68838c128cbe824be46c9955416.