angr / vex

A patched version of VEX to work with PyVEX.
GNU General Public License v2.0
104 stars 44 forks source link

Pr/draper riscv patch2 #57

Closed EvelynVusky closed 11 months ago

EvelynVusky commented 11 months ago

Added support for passing off non-FP CSR operations and MRET instructions to dirty helpers. The dirty helpers stand essentially unimplemented in this initial checkin. This body of code will allow for decode of CSR and MRET instructions to proceed without errors, and will provide for the ability to implement correct runtime support for CSR and MRET operations piecemeal, overtime.