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.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.gitignore		.gitignore
BUILDING.md		BUILDING.md
README.md		README.md
bitwise_expr_lookup_tbl.cpp		bitwise_expr_lookup_tbl.cpp
bitwise_expr_lookup_tbl.hpp		bitwise_expr_lookup_tbl.hpp
consts.hpp		consts.hpp
equiv_class.cpp		equiv_class.cpp
equiv_class.hpp		equiv_class.hpp
file.cpp		file.cpp
file.hpp		file.hpp
generate_oracle.bat		generate_oracle.bat
generate_oracle.sh		generate_oracle.sh
goomba.cfg		goomba.cfg
goomba.cpp		goomba.cpp
heuristics.cpp		heuristics.cpp
heuristics.hpp		heuristics.hpp
lin_conj_exprs.hpp		lin_conj_exprs.hpp
linear_exprs.cpp		linear_exprs.cpp
linear_exprs.hpp		linear_exprs.hpp
makefile		makefile
mcode_emu.hpp		mcode_emu.hpp
minsn_template.hpp		minsn_template.hpp
msynth_parser.cpp		msynth_parser.cpp
msynth_parser.hpp		msynth_parser.hpp
optimizer.cpp		optimizer.cpp
optimizer.hpp		optimizer.hpp
simp_lin_conj_exprs.hpp		simp_lin_conj_exprs.hpp
smt_convert.cpp		smt_convert.cpp
smt_convert.hpp		smt_convert.hpp
z3++_no_warn.h		z3++_no_warn.h

Provide feedback