107 Open source projects that are alternatives of or similar to Awesome Symbolic Execution

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

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

Binary Analysis Platform

Symbolic Execution Engine for Boogie

DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.

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

Your performance & security consultant, an artisan command away.

Talvos is a dynamic-analysis framework and debugger for Vulkan/SPIR-V programs.

No description or website provided.

TIRO - A hybrid iterative deobfuscation framework for Android applications

CRAX: software CRash analysis for Automatic eXploit generation

OPEM (Open Source PEM Fuel Cell Simulation Tool)

Project moved to: https://github.com/llvm/llvm-project

TRACER Symbolic Execution Tool

Python AV Evasion Tools

symbolic execution plugin for binary ninja

Code for my blog post on using S2E for malware analysis

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

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.

libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)

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

A curated list of dynamic analysis tools for all programming languages, binaries, and more.

Intentionally vulnerable Android application.

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

Staged Abstract Interpreters

Integrates OWASP Zed Attack Proxy reports into SonarQube

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

A dynamic analysis framework for WebAssembly programs.

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

yet another tool for analysing binaries

A library for detecting certain improper uses of the "Defer, Panic, and Recover" pattern in Go programs

No description or website provided.

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

CRETE under development

A list of awesome malware detection tools

Runtime checker for JS coding practices

Find exploitable PHP files by parameter fuzzing and function call tracing

Droidefense: Advance Android Malware Analysis Framework

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

Updated version of ApiTracer Pin tool

The radare2 + frida book for Mobile Application assessment

Radare2 and Frida better together.

Main repository of the Vigor NF verification project.

Android malware detection using static and dynamic analysis

guardrails.cs.virginia.edu

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

A graph-based static-dynamic hybrid DEX code analysis tool

An ethereum evm bytecode disassembler and static/dynamic analysis tool

Defund the Police.

See where each character on the screen came from in code.

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

A multi-body simulation software

a friendly wrapper around ptrace

Simple Theorem Prover, an efficient SMT solver for bitvectors

Static and dynamic Android application security analysis

Vendor-Neutral Security Tool Automation Controller (over REST)

HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.

A unit test-like interface for fuzzing and symbolic execution

A hackable malware sandbox for the 21st Century

Binary instrumentation framework based on FRIDA