KO
|
EN
gitlite — search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
glee
★ 13
Open GitHub ↗
Incomplete Go port of the KLEE SymEx system.
Download README (.md)
Explore Similar Repositories
olean-rs
:
parser/viewer for olean files (lean 3)
StoryTelling
:
A neural network based StoryTeller that outputs a short story from an input image
mappView
:
mappView tips and code snippets
XcodeGen
:
Repo to support a talk about XcodeGen
LiangxiesFriend
:
No description available.
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
glee
?
Download (.md)
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: ```sh $ 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: ```sh $ cd /path/to/glee $ go install ./cmd/glee ``` [Z3]: https://github.com/Z3Prover/z3
