Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
./setup.sh ./build.sh
It's been tested on Ubuntu 18.04.
source koobe/bin/activate cd aeg-analysis python main.py -h
Check this and S2E's doc.