wadoon / mima-symbex Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Symbolical Execution for MiniMal Assembler

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.idea		.idea
.gitignore		.gitignore
README.md		README.md
main.py		main.py

Repository files navigation

mima-symbex

A symbolic execution engine for MIMA (minimal assembler).

About

Symbolical Execution for MiniMal Assembler

z3 mima

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%