File tree Expand file tree Collapse file tree 5 files changed +6
-3
lines changed
Expand file tree Collapse file tree 5 files changed +6
-3
lines changed Original file line number Diff line number Diff line change 8989.ropeproject
9090
9191# Gdb symbolic
92+ z3 /
93+ Triton /
9294gdb /
95+ * .tar.gz
9396* .gdb_history
9497peda-session- *
Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ gdb-symbolic - symbolic execution extention for gdb
1212
1313``` bash
1414./install.sh
15- echo " source ~/gdb-symbolic/gdb-symbolic .py" >> ~ /.gdbinit
15+ echo " source ~/symgdb/symgdb .py" >> ~ /.gdbinit
1616```
1717
1818# Commands
Original file line number Diff line number Diff line change 11#! /bin/bash
2- GDB_VERSION=' 7.12 '
2+ GDB_VERSION=' 8.0 '
33wget https://ftp.gnu.org/gnu/gdb/gdb-$GDB_VERSION .tar.gz
44tar zxvf gdb-$GDB_VERSION .tar.gz
55mv gdb-$GDB_VERSION / gdb/
Original file line number Diff line number Diff line change 11#! /bin/bash
2- sudo apt-get install -y build-essential libcap-dev cmake libboost-all-dev libcapstone-dev
2+ sudo apt-get install -y build-essential libcap-dev cmake libboost-all-dev libcapstone-dev gcc-multilib
33
44# Install z3
55python2 -c " import z3"
File renamed without changes.
You can’t perform that action at this time.
0 commit comments