seekamoon

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

pgmpy

Python Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.

jetbrains-activator

JetBrains License Server Activator

CodeQL

《深入理解CodeQL》Finding vulnerabilities with CodeQL.

naaz

Symbolic Execution Engine based on Ghidra's PCode

BinAbsInspector

BinAbsInspector: Vulnerability Scanner for Binaries

SymbolicExecutionDemystified

Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022

sel

Programmatic modification and evaluation of software

GhidraDec

Ghidra Decompiler Plugin for IDA Pro

Bear

Bear is a tool that generates a compilation database for clang tooling.

cppast

Library to parse and work with the C++ AST

superc

(Moved to https://github.com/appleseedlab/superc/) The SuperC and xtc projects

jcpp

The C Preprocessor as a Java library

ctags

A maintained ctags implementation

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Angha

Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.

idacode

An integration for IDA and VS Code which connects both to easily execute and debug IDAPython scripts.

awesome-embedded-and-iot-security

A curated list of awesome embedded and IoT security resources.

pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

DeepPuzzling

Deep Puzzling is an AI-based framework for concealing attack intentions and protecting codes, which prevents crackers from obtaining critical codes.

ppci

A compiler for ARM, X86, MSP430, xtensa and more implemented in pure Python

psychec

A compiler frontend for the C programming language

AnghaBench

A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.

rust-mir-checker

BinKit

Binary Code Similarity Analysis (BCSA) Benchmark

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

miasm

Reverse engineering framework in Python

Awesome-Binary-Rewriting

An awesome & curated list of binary rewriting papers

genmc

Display Hex-Rays Microcode

remill

Library for lifting machine code to LLVM bitcode