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
14 lines
296 B
Makefile
14 lines
296 B
Makefile
# $OpenBSD: Makefile,v 1.1.1.1 2019/07/23 19:22:21 jasper Exp $
|
|
|
|
SUBDIR =
|
|
SUBDIR += py-ailment
|
|
SUBDIR += py-angr
|
|
SUBDIR += py-archinfo
|
|
SUBDIR += py-claripy
|
|
SUBDIR += py-cle
|
|
SUBDIR += py-pyvex
|
|
SUBDIR += py-z3-solver
|
|
SUBDIR += vex
|
|
|
|
.include <bsd.port.subdir.mk>
|