colton1skees Goto Github PK

coffea

Fast Java decompiler written in pure rust

colton1skees.github.io

csharp-style-guide

C# Style Guide for Tutorials

cxx-common-cmake

Experiment building lifting-bits dependencies with pure CMake

dna

Static analysis & deobfuscation framework for x86/x64

gamba

Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

iced

Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for .NET, Rust, Python, JavaScript

idapython-scripts

A collection of various IDAPython scripts

klee

KLEE Symbolic Virtual Machine

kparser

.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

microarchitectural-hash-function-recovery

Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)

msimba

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions

msolve

Library for Polynomial System Solving through Algebraic Methods

msynth

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

npn

A boolean matcher that computes the NPN canonical representative for a given boolean function.

remill

Library for lifting machine code to LLVM bitcode

remill.net

.NET bindings for Remill

simba

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

simba-

Port of MBA Solver SiMBA to C/C++

sleigh

Unofficial CMake build for Ghidra SLEIGH

souper

A superoptimizer for LLVM IR

spotify-controller

A Python3 GUI spotify controller for Linux. (Specifically for Arch Linux)

styleguide

Style guides for Google-originated open-source projects

symex

Symbolic executor for Binary Ninja's MLIL

symfpu

A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

tritontranslator

Standalone static version of Triton's x86/x64 translator

tsegnet

vmpdevirt

VMProtect devirtualizer(WIP)

winttd

Reverse engineered API for Microsoft's Time Travel Debugger