angr / angr-platforms

A collection of extensions to angr to handle new platforms

http://angr.io/

angr/angr-platforms Issues

angr misses paths on RISC-V binary found by other symbolic execution engines
Closed 5 months ago3
'Mismatch between format bit 0 and instruction bit 1'
Closed 2 years ago2
Atmel AVR support
Closed 2 years ago4
MULSU instruction lifting not well typed operation error
Closed 2 years ago3
BPF testcases fail due to a bug in PyVEX
Closed 2 years ago7
Do you have any plans to support riscv 64bit?
Closed 4 years ago2
Can not create new branch for pull request
Closed 4 years ago2
ModuleNotFoundError for MSP430
Closed 5 years ago
BF lifter is untested and bitrotted
Closed 5 years ago12
No module named procedures
Closed 7 years ago2