radare2 appears to have a lot of regression bugs. due to this, the current code for r2concrete won't work. To help keep this target functional, I've updated the code to first try the more optimal solution (which is broken again now), and then to fallback to a likely more reliable solution which attempts to auto correct radare2 bugs.
While normally I'd just say wait for r2 to update their stuff, regression breaks are a theme i've found with their code, so I'd like to have this fallback in place as well in case it is needed again.
radare2 appears to have a lot of regression bugs. due to this, the current code for r2concrete won't work. To help keep this target functional, I've updated the code to first try the more optimal solution (which is broken again now), and then to fallback to a likely more reliable solution which attempts to auto correct radare2 bugs.
For reference, here are the two main issues this change will bypass: https://github.com/radareorg/radare2/issues/16634 https://github.com/radareorg/radare2/issues/16635
While normally I'd just say wait for r2 to update their stuff, regression breaks are a theme i've found with their code, so I'd like to have this fallback in place as well in case it is needed again.