From 5cdc1f62ce74efb98a183e3ef049724176ec8396 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:14:42 -0300 Subject: [PATCH 01/16] Update .travis.yml --- .travis.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index 58f0cb4..b7d4e37 100644 --- a/.travis.yml +++ b/.travis.yml @@ -10,13 +10,13 @@ install: - sudo pip2 install -U pip - sudo pip2 install z3-solver - sudo pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip -- sudo pip2 install cffi==1.7.0 pycparser==2.18 +- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 - mkdir build - cd build - cmake .. - sudo make install -- sudo pip2 uninstall -y pycparser==2.19 -- sudo pip2 install pycparser==2.18 +#- sudo pip2 uninstall -y pycparser==2.19 +#- sudo pip2 install pycparser==2.18 - cd .. env: - TASK=ARITHMETIC From cd308c113287fc423c36df5d7b0532b9cd4763f2 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:21:20 -0300 Subject: [PATCH 02/16] Forced angr version --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index b7d4e37..842b160 100644 --- a/.travis.yml +++ b/.travis.yml @@ -10,7 +10,7 @@ install: - sudo pip2 install -U pip - sudo pip2 install z3-solver - sudo pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip -- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 +- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 angr==7.8.7.1 - mkdir build - cd build - cmake .. From 511575fe79f682bd357c8b03c9368888d2db066a Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:27:12 -0300 Subject: [PATCH 03/16] pip2 -> pip --- .travis.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.travis.yml b/.travis.yml index 842b160..6957a5c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,13 +4,13 @@ sudo: true python: - "2.7" install: -- sudo pip2 install pyflakes - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev - sudo pip2 install -U pip -- sudo pip2 install z3-solver -- sudo pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip -- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 angr==7.8.7.1 +- sudo pip install pyflakes +- sudo pip install z3-solver +- sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip +- sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 angr==7.8.7.1 - mkdir build - cd build - cmake .. From a2443242e960caad440ffc38178ef0656cbb5223 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:32:35 -0300 Subject: [PATCH 04/16] Update .travis.yml --- .travis.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 6957a5c..7c1a72a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -10,7 +10,8 @@ install: - sudo pip install pyflakes - sudo pip install z3-solver - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip -- sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 angr==7.8.7.1 +- sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 +- sudo pip install angr==7.8.7.1 - mkdir build - cd build - cmake .. From 685645d5b417f16c9db2d7987cd2a60b5be51712 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:36:42 -0300 Subject: [PATCH 05/16] Update .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 7c1a72a..9f87090 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,7 +11,7 @@ install: - sudo pip install z3-solver - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip - sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 -- sudo pip install angr==7.8.7.1 +#- sudo pip install angr==7.8.7.1 - mkdir build - cd build - cmake .. From 9f08d7455143598d8b1ef76964a66ef8d315d8bd Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:39:56 -0300 Subject: [PATCH 06/16] Upgraded to xenial --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 9f87090..23aca89 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,5 @@ language: python -dist: trusty +dist: xenial sudo: true python: - "2.7" From 028356e1fdba6f4e457fd39af63e520702c32576 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 11:42:59 -0300 Subject: [PATCH 07/16] Update .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 23aca89..7e0dea0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,7 +11,7 @@ install: - sudo pip install z3-solver - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip - sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 -#- sudo pip install angr==7.8.7.1 +- sudo pip install angr==7.8.7.1 - mkdir build - cd build - cmake .. From 579de65fad98be32945cb3f1d4febe2d62e72c11 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 12:21:56 -0300 Subject: [PATCH 08/16] Update .travis.yml --- .travis.yml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/.travis.yml b/.travis.yml index 7e0dea0..d1b76e0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,11 +7,12 @@ install: - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev - sudo pip2 install -U pip -- sudo pip install pyflakes -- sudo pip install z3-solver -- sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip -- sudo pip install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26 -- sudo pip install angr==7.8.7.1 +- pip install pyflakes --user +- pip install z3-solver --user +- pip install https://github.com/trailofbits/manticore/archive/last_python2.zip --user +- pip install cffi==1.7.0 pycparser==2.18 --user +- pip install cle==7.8.9.26 pyvex==7.8.9.26 --user +- pip install angr==7.8.7.1 --user - mkdir build - cd build - cmake .. From 0d94c21e08132a5752f82065ff54e162b7facdb4 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 12:53:49 -0300 Subject: [PATCH 09/16] Update .travis.yml --- .travis.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index d1b76e0..856479c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,8 +1,8 @@ -language: python +language: bash dist: xenial sudo: true -python: -- "2.7" +#python: +#- "2.7" install: - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev From f1c8e3142bbe48f4d76f057af2bb1d63ba933eb8 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 13:45:05 -0300 Subject: [PATCH 10/16] Update .travis.yml --- .travis.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.travis.yml b/.travis.yml index 856479c..56252be 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,13 +6,13 @@ sudo: true install: - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev -- sudo pip2 install -U pip -- pip install pyflakes --user -- pip install z3-solver --user -- pip install https://github.com/trailofbits/manticore/archive/last_python2.zip --user -- pip install cffi==1.7.0 pycparser==2.18 --user -- pip install cle==7.8.9.26 pyvex==7.8.9.26 --user -- pip install angr==7.8.7.1 --user +#- sudo pip2 install -U pip +- pip2 install pyflakes --user +- pip2 install z3-solver --user +- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user +- pip2 install cffi==1.7.0 pycparser==2.18 --user +- pip2 install cle==7.8.9.26 pyvex==7.8.9.26 --user +- pip2 install angr==7.8.7.1 --user - mkdir build - cd build - cmake .. From 530c704dbb676cbba7031788676f81fc64b2419c Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 13:57:06 -0300 Subject: [PATCH 11/16] Update .travis.yml --- .travis.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.travis.yml b/.travis.yml index 56252be..dc0c269 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,6 +12,7 @@ install: - pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user - pip2 install cffi==1.7.0 pycparser==2.18 --user - pip2 install cle==7.8.9.26 pyvex==7.8.9.26 --user +- pip2 uninstall unicorn - pip2 install angr==7.8.7.1 --user - mkdir build - cd build From 5b6f6c4dd2f6bdf91eaf887d16fbd2d5c3dbabf1 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 14:06:25 -0300 Subject: [PATCH 12/16] Update .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index dc0c269..365355e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,7 +12,7 @@ install: - pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user - pip2 install cffi==1.7.0 pycparser==2.18 --user - pip2 install cle==7.8.9.26 pyvex==7.8.9.26 --user -- pip2 uninstall unicorn +- pip2 uninstall unicorn -y - pip2 install angr==7.8.7.1 --user - mkdir build - cd build From b8e1ca9a020af4124a394dd6117ecb0b8a6c7143 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 14:17:05 -0300 Subject: [PATCH 13/16] Disabled manticore in .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 365355e..00c6748 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,7 +9,7 @@ install: #- sudo pip2 install -U pip - pip2 install pyflakes --user - pip2 install z3-solver --user -- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user +#- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user - pip2 install cffi==1.7.0 pycparser==2.18 --user - pip2 install cle==7.8.9.26 pyvex==7.8.9.26 --user - pip2 uninstall unicorn -y From 183004409612ea3a991c16707f0b4a7a9fdf6dcd Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 14:45:14 -0300 Subject: [PATCH 14/16] Updated to angr 7.8.9.26 --- .travis.yml | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/.travis.yml b/.travis.yml index 00c6748..7e86447 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,20 +6,12 @@ sudo: true install: - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev -#- sudo pip2 install -U pip -- pip2 install pyflakes --user -- pip2 install z3-solver --user -#- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user -- pip2 install cffi==1.7.0 pycparser==2.18 --user -- pip2 install cle==7.8.9.26 pyvex==7.8.9.26 --user -- pip2 uninstall unicorn -y -- pip2 install angr==7.8.7.1 --user +- pip2 install angr==7.8.9.26 --user +- pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user - mkdir build - cd build - cmake .. - sudo make install -#- sudo pip2 uninstall -y pycparser==2.19 -#- sudo pip2 install pycparser==2.18 - cd .. env: - TASK=ARITHMETIC From 10047d784d0b3f81c6a19e7cef810dcbcd0259cd Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 14:52:03 -0300 Subject: [PATCH 15/16] Update .travis.yml --- .travis.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.travis.yml b/.travis.yml index 7e86447..d79e79c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,6 +6,7 @@ sudo: true install: - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev +- pip2 install pyflakes --user - pip2 install angr==7.8.9.26 --user - pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user - mkdir build From b47520a450fa78052a17648fa73b6d54e6648817 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 7 Nov 2018 14:56:25 -0300 Subject: [PATCH 16/16] Update .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index d79e79c..2cc49e8 100644 --- a/.travis.yml +++ b/.travis.yml @@ -5,7 +5,7 @@ sudo: true #- "2.7" install: - sudo apt-get -y update -- sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev +- sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev python-nose - pip2 install pyflakes --user - pip2 install angr==7.8.9.26 --user - pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip --user