Stars
JA4+ is a suite of network fingerprinting standards
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
Certainly is a offensive security toolkit to capture large amounts of traffic in various network protocols in bitflip and typosquat scenarios.
The FLARE team's open-source extension to add Python 3 scripting to Ghidra.
Mainboard of URTI, the Universal Radio Test Instrument
Classes with architecture-specific information useful to other projects.
Another approach of Threadless injection discovered by @_EthicalChaos_ in c that loads a module into the target process and stomps it, and reverting back memory protections and original memory state
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Comfortably monitor your Internet traffic 🕵️♂️
BINRELAY: Finding race conditions on binaries with symbolic execution.
Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…
Triton-based DSE library with loading and exploration capabilities (and more!)
This is a demo for react-tinder-card which is a react module for making elements behave like cards in the ever so popular dating app tinder.
An automation tool to generate, obfuscate, compile and run symbolic execution on c source files
SymCC: efficient compiler-based symbolic execution
Automatic Exploit Generation (AEG) and remote flag capture for exploitable CTF problems
A collection of essential TypeScript types
⭐️ A curated list of awesome forensic analysis tools and resources