Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / carlosgprado / Triton
Public GitHub Catalog Discovered Oct 10, 2026

carlosgprado / Triton

Concolic execution framework based on Pin. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instruction into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automated reverse engineering.

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.

#36797242GitHub System ID
carlosgpradoOrganization / User
PublicVisibility
ActiveCatalog Status

More from carlosgprado

↗

carlosgprado/JARVIS

"Just Another ReVersIng Suite" or whatever other bullshit you can think of

Discovered
↗

carlosgprado/sulley

A pure-python fully automated and unattended fuzzing framework.

Discovered
↗

carlosgprado/toolbag

The IDA Toolbag is a plugin providing supplemental functionality to Hex-Rays IDA Pro disassembler.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.