GitHub - wildptr/dasm: Lightweight x86 disassembler in pure OCaml

wildptr / dasm Public

Lightweight x86 disassembler in pure OCaml

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 135 Commits
code		code
tests		tests
.gitignore		.gitignore
CFG.ml		CFG.ml
Makefile		Makefile
PE.ml		PE.ml
_tags		_tags
analyze.ml		analyze.ml
bitvec.ml		bitvec.ml
bitvec.mli		bitvec.mli
build_cfg.ml		build_cfg.ml
control_flow.ml		control_flow.ml
dasm.ml		dasm.ml
dasm.mli		dasm.mli
dasmcli.ml		dasmcli.ml
dasmgui.ml		dasmgui.ml
database.ml		database.ml
dataflow.ml		dataflow.ml
elab_env.ml		elab_env.ml
elab_test.ml		elab_test.ml
elaborate.ml		elaborate.ml
fold_cfg.ml		fold_cfg.ml
graphviz_intf.ml		graphviz_intf.ml
inst.ml		inst.ml
itree.ml		itree.ml
itree.mli		itree.mli
pp_util.ml		pp_util.ml
pseudocode.ml		pseudocode.ml
semant.ml		semant.ml
simplify.ml		simplify.ml
spec		spec
spec_ast.ml		spec_ast.ml
spec_lexer.mll		spec_lexer.mll
spec_parser.mly		spec_parser.mly
test.sh		test.sh
trans_env.ml		trans_env.ml
translate.ml		translate.ml
z3_intf.ml		z3_intf.ml