125 Open source projects that are alternatives of or similar to crete-dev

No description or website provided.

Binary Analysis Platform

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Symbolic execution tool

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Extracting high level semantic information from binary code

An analysis tool for Python that blurs the line between testing and type systems.

Automatic ROPChain Generation

A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Automatic verification of LLVM optimizations

yet another tool for analysing binaries

Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

pwn & ctf tools for windows

Code for my blog post on using S2E for malware analysis

Yet another implementation of PEiD with yara

KLEE Symbolic Execution Engine

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

TRACER Symbolic Execution Tool

symbolic execution plugin for binary ninja

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

SymGDB - symbolic execution plugin for gdb

A unit test-like interface for fuzzing and symbolic execution

A simple (unfinished) SMT solver for QF_ABV.

Playing with the Tigress binary protection. Break some of its protections and solve some of its challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.

Reverse engineering framework in Python

Simplify Ethereum security analysis and testing

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

A binary visualization tool to aid with reverse engineering and malware detection similar to Cantor.Dust

Simple Theorem Prover, an efficient SMT solver for bitvectors

Seeding fuzzers with symbolic execution

No description or website provided.

CRAX: software CRash analysis for Automatic eXploit generation

A collection of crackmes

APISan: Sanitizing API Usages through Semantic Cross-Checking

DrSemu - Sandboxed Malware Detection and Classification Tool Based on Dynamic Behavior

UNIX-like reverse engineering framework and command-line toolset

A 6502-oriented low-level programming language supporting advanced static analysis

Use angr in Ghidra

Symbolic Execution Engine for Boogie

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Function signature matching and signature generation plugin for Binary Ninja

Main repository of the Vigor NF verification project.

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

Staged Abstract Interpreters

Use angr in the IDA Pro debugger generating a state from the current debug session

An open source interactive disassembler

A curated list of awesome resources related to executable packing

An unofficial implementation of asm2vec as a standalone python package

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.