gooMBA 75 Modified goomba plugin that supports ida 7.x, tested on ida 7.5. you will need z3 (used z3-4.13.0). non linear mba, oracles will not work.