Update script and upgrade gdb

SQLab · Jul 28, 2017 · 482c25e · 482c25e
1 parent 79bfa95
commit 482c25e
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -89,6 +89,9 @@ ENV/
 .ropeproject
 
 # Gdb symbolic
+z3/
+Triton/
 gdb/
+*.tar.gz
 *.gdb_history
 peda-session-*
diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@ gdb-symbolic - symbolic execution extention for gdb
 
 ```bash
 ./install.sh
-echo "source ~/gdb-symbolic/gdb-symbolic.py" >> ~/.gdbinit
+echo "source ~/symgdb/symgdb.py" >> ~/.gdbinit
 ```
 
 # Commands

diff --git a/build.sh b/build.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-GDB_VERSION='7.12'
+GDB_VERSION='8.0'
 wget https://ftp.gnu.org/gnu/gdb/gdb-$GDB_VERSION.tar.gz
 tar zxvf gdb-$GDB_VERSION.tar.gz
 mv gdb-$GDB_VERSION/ gdb/

diff --git a/install.sh b/install.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-sudo apt-get install -y build-essential libcap-dev cmake libboost-all-dev libcapstone-dev
+sudo apt-get install -y build-essential libcap-dev cmake libboost-all-dev libcapstone-dev gcc-multilib
 
 # Install z3
 python2 -c "import z3"

diff --git a/gdb-symbolic.py → symgdb.py b/gdb-symbolic.py → symgdb.py