https://github.com/andreafioraldi/r2angrdbg

Use angr inside the radare2 debugger. Create an angr state from the current debugger state.
https://github.com/andreafioraldi/r2angrdbg

angr angrdbg concrete debugger integration r2 radare2

Last synced: 13 days ago
JSON representation

Use angr inside the radare2 debugger. Create an angr state from the current debugger state.

• Host: GitHub
• URL: https://github.com/andreafioraldi/r2angrdbg
• Owner: andreafioraldi
• License: bsd-2-clause
• Created: 2018-07-07T09:07:38.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-06-11T07:40:13.000Z (over 5 years ago)
• Last Synced: 2024-10-31T23:51:30.856Z (20 days ago)
• Topics: angr, angrdbg, concrete, debugger, integration, r2, radare2
• Language: Python
• Size: 19.5 KB
• Stars: 34
• Watchers: 6
• Forks: 8
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# r2angrdbg

Use angr inside the radare2 debugger.

Create an angr state from the current debugger state.

## Install

`pip install r2angrdbg`

## Usage

r2angr implements the [angrdbg](https://github.com/andreafioraldi/angrdbg) API, you can use it after the call to `r2angrdbg.init`

```python

import r2pipe

import r2angrdbg

r2 = r2pipe.open("stuff")

r2angrdbg.init(r2)

r2.cmd("l33t r2 cmd")

sm = r2angrdbg.StateManager()

# stuffs with angrdbg StateManager ...

```

see the [examples](https://github.com/andreafioraldi/r2angrdbg/tree/master/examples) folder.