Pinned Repositories
Dna
LLVM based static binary analysis framework
IDAPython-Scripts
A collection of various IDAPython scripts
KParser
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
Remill.NET
.NET bindings for Remill
Symex
Symbolic executor for Binary Ninja's MLIL
TritonTranslator
Standalone static version of Triton's x86/x64 translator
VMPDevirt
VMProtect devirtualizer(WIP)
WinTTD
Reverse engineered API for Microsoft's Time Travel Debugger
MSiMBA
Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
Simplifier
Efficient general mixed boolean-arithmetic (MBA) simplifier
Colton1skees's Repositories
Colton1skees/Dna
LLVM based static binary analysis framework
Colton1skees/WinTTD
Reverse engineered API for Microsoft's Time Travel Debugger
Colton1skees/VMPDevirt
VMProtect devirtualizer(WIP)
Colton1skees/Symex
Symbolic executor for Binary Ninja's MLIL
Colton1skees/TritonTranslator
Standalone static version of Triton's x86/x64 translator
Colton1skees/KParser
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
Colton1skees/Remill.NET
.NET bindings for Remill
Colton1skees/IDAPython-Scripts
A collection of various IDAPython scripts
Colton1skees/GAMBA
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
Colton1skees/Colton1skees.github.io
Colton1skees/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
Colton1skees/cxx-common-cmake
Experiment building lifting-bits dependencies with pure CMake
Colton1skees/ENRGEMBP
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials
Colton1skees/iced
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for .NET, Rust, Python, JavaScript
Colton1skees/klee
KLEE Symbolic Virtual Machine
Colton1skees/Microarchitectural-Hash-Function-Recovery
Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
Colton1skees/MSiMBA
Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
Colton1skees/msolve
Library for Polynomial System Solving through Algebraic Methods
Colton1skees/msynth
Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
Colton1skees/npn
A boolean matcher that computes the NPN canonical representative for a given boolean function.
Colton1skees/remill
Library for lifting machine code to LLVM bitcode
Colton1skees/SiMBA
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Colton1skees/SiMBA-
Port of MBA Solver SiMBA to C/C++
Colton1skees/Simplifier
Efficient mixed boolean-arithmetic (MBA) simplifier
Colton1skees/sleigh
Unofficial CMake build for Ghidra SLEIGH
Colton1skees/souper
A superoptimizer for LLVM IR
Colton1skees/styleguide
Style guides for Google-originated open-source projects
Colton1skees/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Colton1skees/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.
Colton1skees/tsegnet