ualwayswithme

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

rwProcMem33

Linux ARM64内核硬件进程内存读写驱动、硬件断点调试驱动。硬件级读写Linux进程内存、硬件级下断点。

appshark

Appshark is a static taint analysis platform to scan vulnerabilities in an Android app.

PurC

The prime HVML interpreter for C Language.

String-Obfuscator-In-Compile-Time

C++ Header only string obfuscator library using metaprogramming. Affine Cipher technique is used for encryption and decryption.

rellic

Rellic produces goto-free C output from LLVM bitcode

CodeQL

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

interruptor

Human-friendly cross-platform system call tracing and hooking library based on Frida's Stalker

Tai-e-assignments

Tai-e assignments for static program analysis

perses

X86 Mutation Engine with Portable Executable compatibility.

P523

P523 Code

arbiter

maat

Open-source symbolic execution framework: https://maat.re

android-inline-hook

:fire: ShadowHook is an Android inline hook library which supports thumb, arm32 and arm64.

xDL

:fire: xDL is an enhanced implementation of the Android DL series functions.

my-compiler

SSA optimization and code generation test

pysmt

pySMT: A library for SMT formulae manipulation and solving

course

高性能并行编程与优化 - 课件

side-channels

CodeAnalysis

Static Code Analysis - 静态代码分析

Static-Program-Analysis-Book

Getting started with static program analysis. 静态程序分析入门教程。

Dev

VPDroid is a lightweight Android OS-level virtualization architecture

KUNAI-static-analyzer

Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.

ScratchABlock

Yet another crippled decompiler project

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

mariana-trench

A security focused static analysis tool for Android and Java applications.

tracee

Container and system event tracing using eBPF

seninja

symbolic execution plugin for binary ninja

r2con2021_deobfuscation

Workshop Material on VM-based Deobfuscation

tenet

A Trace Explorer for Reverse Engineers