search

andreafioraldi / angrdbg

Abstract library to generate angr states from a debugger state
BSD 2-Clause "Simplified" License
58 stars 15 forks source link

Constraint solver #2

Closed jhscheer closed 5 years ago

jhscheer commented 5 years ago

Hi, I was playing around with r2angrdbg and noticed the lack of options to constrain the initial state.

I added these options together with an example in the r2angrdbg repo. Please let me know what you think of my edit (maybe there's a more elegant way?).

andreafioraldi commented 5 years ago

HI @jhscheer , thanks for the PR. get_state and get_symbolic aren't really necessary but i will merge anyway your PR.