List view
This plugin, as of writing, supports opaque predicates that always evaluate to the same _constant_ value, and leveraging the Binary Ninja MLIL to do so. This means that as long as Binary Ninja can understand that it is a constant expression, it should patch. Although useful, what about opaque predictaes that are more advanced? This plugin won't do anything to those! This milestones goal is to eventually add more predicate solving to the project to eventually make it even more powerful for reverse engineering obfuscated code.
No due date•1/1 issues closed