The Z3 Theorem Prover

Simple animated GIF screen recorder with an easy to use interface

awesome llvm security [Welcome to PR]

Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

iOS Decompiler

Solve LeetCode problems in VS Code

Research papers into obfuscation techniques

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

Public API, examples, documentation and issues for Binary Ninja

Python+Numpy+OpenGL: fast, scalable and beautiful scientific visualization

Hex-Rays OLLVM Deobfuscator and MicroCode Explorer

A PHP extension for Redis

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

Learning assembly for Linux x86_64

A protocol library for Minecraft Bedrock Edition

C++23 procedure hooking library.

Greybox Synthesizer geared for deobfuscation of assembly instructions.

Windows inside a Docker container.

Some notes while I learn how to use Erlang for web applications

Browser extension for hacking WebAssembly games a la Cheat Engine

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

An Interactive Binary Patching Plugin for IDA Pro

DeSmuME is a Nintendo DS emulator

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

[being rewritten] Cross-platform iMessage POC

pdbex is a utility for reconstructing structures and unions from the PDB into compilable C headers

Official x64dbg plugin for IDA Pro.

Simple CMake files for the IDASDK