Native opaque predicate cleaner plugin for Binary Ninja - View it on GitHub