17 Commits

Author SHA1 Message Date
kn
a13f815b94 Update angr and angrop to 8.20.1.7
Feedback and OK jasper
2020-02-15 18:36:18 +00:00
kn
feba8d69f7 Sort RDEPS 2020-02-11 20:52:12 +00:00
jasper
144ba21562 fix backwards logic and remove BUILD_DEPENDS from RUN_DEPENDS
pointed out by kili@
ok kn@
2020-02-11 13:13:58 +00:00
jasper
8c44613d6f adjust py-cachetools dependency 2019-12-28 14:10:21 +00:00
kmos
e4f2654602 Fix misspelling of MODPY_PYTEST. Important now that it is poisioned.
Pointed out by jca
2019-11-30 18:17:41 +00:00
kn
9edb11934a Update to 4.8.7.0
Pure maintainance release containing one assertion violation fix.
2019-11-25 13:07:36 +00:00
kn
1db8329e4b Use MODPY_PY_PREFIX, comment patch 2019-11-10 10:01:56 +00:00
kn
457d24db2a Update to angr-8.19.10.30 2019-11-10 09:29:32 +00:00
kn
c75d2640cb Fix angr-vex dependency
angr-vex's library is dlopen(3)ed py py-pyvex (not py-angr itself), so
register it as proper RDEP in py-pyvex (and only there).

Spotted after `pkg_add angrop' on a fresh installation where angr-vex was
not installed;  even though angr has an LDEP on it, our framework does not
turn it into a RDEP unless angr also links against it.
2019-10-26 12:12:24 +00:00
jasper
30b8616cf9 move ONLY_FOR_ARCHS from vex' Makefile to angr{,rop}
vex is amd64-only and there is no point in attempting to build packages
only to have them fail when the RDEP on vex cannot be resolved (e.g. on
i386 as reported by sthen).

prompted by sthen@
ok kn@
2019-09-30 08:24:44 +00:00
kn
f2fc1be99a Update angr to 8.19.7.25
Mostly just bugfixes;  there is no changelog, so please have a look at
https://github.com/angr/angr/commits/master/

"Go ahead" jasper
2019-09-15 13:29:50 +00:00
cwen
42d3ca48e8 py-z3-solver: unbreak with ports-gcc, by fixing an incorrect conversion.
Tested on sparc64 (by kmos@, thanks!) and macppc.

OK kmos@ kn@ (maintainer)
2019-08-16 23:27:09 +00:00
sthen
c3d25959fa fix py-z3-solver on i386, from jasper@ 2019-08-02 12:59:51 +00:00
kn
7614d44d99 Remove hardcoded optimizations 2019-07-23 19:56:50 +00:00
kn
f1274de1cd Comment the patch 2019-07-23 19:51:08 +00:00
kn
537892c6ae Set COMPILER
It uses -std=c++11, fix space nit while here.
2019-07-23 19:50:03 +00:00
jasper
29511e6dc8 import angr-8.19.4.5 and supporting libraries
angr is a suite of Python 3 libraries that let you load a binary
and do a lot of cool things to it:

- Disassembly and intermediate-representation lifting
- Program instrumentation
- Symbolic execution
- Control-flow analysis
- Data-dependency analysis
- Value-set analysis (VSA)
- Decompilation

join work with and ok kn@
rough edges will be handled in-tree
2019-07-23 19:22:21 +00:00