Highlights
Stars
🎆Interactive Online Platform that Visualizes Algorithms from Code
Run compilers interactively from your web browser and interact with the assembly
A list of public penetration test reports published by several consulting firms and academic security groups.
A repository for learning various heap exploitation techniques.
⟠ A curated list of awesome Solidity resources, libraries, tools and more
Visualize call graph of a Go program using Graphviz
A collection of links related to Linux kernel security and exploitation
Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams
Porting Windows Dynamic Link Libraries to Linux
Inspired by https://github.com/djadmin/awesome-bug-bounty, a list of bug bounty write-up that is categorized by the bug nature
BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.
A curated list of academic blockchain-related papers
A fork of AFL for fuzzing Windows binaries
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
An awesome curated list of Cryptoeconomic research and learning materials
"Multi-Level Intermediate Representation" Compiler Infrastructure
A curated collection of links for economists
An Analysis Tool for Smart Contracts
Public API, examples, documentation and issues for Binary Ninja
Driller: augmenting AFL with symbolic execution!
Smart Contract Weakness Classification and Test Cases
A gently curated list of companies using verification formal methods in industry
Survey of program analysis research with a focus on machine code
Repository for community provided Binary Ninja plugins
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.