banescusebi/symex repository overview

Ubuntu 14.04 having the following software installed:

• KLEE symbolic execution engine
• Tigress C Obfuscator
• SATGraf
• Z3 SMT Solver

Username: klee Password: klee

To run GUI apps from container execute the following command:

⁠Use custom content

$ docker run -it --volume=$XSOCK:$XSOCK:rw \ 

--volume=$XAUTH:$XAUTH:rw \

--env="XAUTHORITY=${XAUTH}" \

--env="DISPLAY" --user="klee" symex