A language build in Clojure, for usage in concolic execution (symbolic and concrete testing)
lein run "program.sec" <options>
-ast For Abstract Syntax Tree made in Graphviz (Rhizome)
-cfg For Control Flow Graph made in Graphviz (Rhizome)
-sym For Symbolic Execution
Copyright © 2018 Nicolai Wiwe Andersen, Jesper Brodersen, Nikolaj Sidorenco
Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.