add ropper

init.sh

@@ -31,6 +31,13 @@ python3 -m pip uninstall --yes ROPgadget
 
 cd /home/vagrant/cw && ./ropinstall.sh
 
+python3 -m pip install --upgrade keystone-engine capstone filebytes pyvex
+cd /home/vagrant/cw && git clone https://github.com/sashs/Ropper.git
+cd /home/vagrant/cw/Ropper && git submodule init && git submodule update
+cd /home/vagrant/ && git clone https://github.com/Z3Prover/z3.git && cd z3 && python3 scripts/mk_make.py && cd build && make -j$(nproc) && sudo make install
+cp -R /home/vagrant/z3/build/python/z3 /home/vagrant/cw/Ropper
+
+
 sudo apt-get clean
 
 echo ":)"