HexRaysSA/goomba

This is stars and forks stats for /HexRaysSA/goomba repository. As of 03 May, 2024 this repository has 491 stars and 43 forks.

gooMBA gooMBA is a Hex-Rays Decompiler plugin that simplifies Mixed Boolean-Arithmetic (MBA) expressions. It achieves this using several heuristics and algorithms to achieve orders-of-magnitude better performance than existing state-of-the-art solutions. More information on the inner workings of this tool is available in our blog post. Core Features Full integration with the Hex-Rays Decompiler Simplifies linear MBAs, including opaque predicates Handles sign extension for linear functions Verifies...