Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
#

dynamic-binary-instrumentation

Here are 19 public repositories matching this topic...

ARM64 Symbolic Execution Tracer: A dynamic binary instrumentation engine lifting raw ARM64 opcode streams into mathematical Symbolic AST equations. Features constant folding and automated de-obfuscation without heavy frameworks like Angr. Perfect for ARM64 reverse engineering, malware analysis, and cryptographic algorithm identification.

  • Updated Jul 1, 2026
  • Go

Improve this page

Add a description, image, and links to the dynamic-binary-instrumentation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dynamic-binary-instrumentation topic, visit your repo's landing page and select "manage topics."

Learn more

Morty Proxy This is a proxified and sanitized view of the page, visit original site.