miasm
miasm copied to clipboard
Reverse engineering framework in Python
Addressing the suggestion from https://github.com/cea-sec/miasm/issues/1149
Satisfyingly solves #961 for x86 architecture. Other architectures could be implemented later on.
[AsmBlock](https://github.com/cea-sec/miasm/blob/2a1a689a17a75232d598216b4d9265be7bd479f3/miasm/core/asmblock.py#L124) could contain a synchronization function which would rebuild the block in a way to really correspond to the constraints(if one changes them). [AsmConstrainTo](https://github.com/cea-sec/miasm/blob/2a1a689a17a75232d598216b4d9265be7bd479f3/miasm/core/asmblock.py#L109) could also contain information about type...
Hi, in the attached file are 1697 stubs of windows API functions. I wasn't sure if you want stubs in win_api_x86_32.py, so i didn't created a PR. But they could...
closes #438, closes #875, closes #912 still an issue with `gcc` tests on macos https://travis-ci.org/cea-sec/miasm/jobs/478366262#L928
Hi! This PR introduces a stateful SMT memory model. # What doe this mean? Similar to SSA, we can make memory reads/writes stateful and use it for SMT-based reasoning. For...
Will help to eliminate obvious errors. For Miasm it is good that Python and C/C++ are supported. See: - https://lgtm.com/ - https://github.com/marketplace/lgtm 
Eliminate compile warnings on MAC. MAC version = 10.12.6 clang version = Apple LLVM version 9.0.0 (clang-900.0.37)
A useful abstraction avoiding manual parsing of the headers.