GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → benbjohnson → glee

benbjohnson / glee

Licence: other
Incomplete Go port of the KLEE SymEx system.

Programming Languages

go
31211 projects - #10 most used programming language
assembly
5116 projects

glee

Glee is a symbolic execution engine for the Go programming language.

Install

To install Glee, first download and install Z3 using the --staticlib flag:

$ cd /path/to/z3
$ python scripts/mk_make.py --staticlib
$ cd build
$ make
$ sudo make install

Next, you can install glee using the Go toolchain:

$ cd /path/to/glee
$ go install ./cmd/glee
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].