138 Open source projects that are alternatives of or similar to Symgdb

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

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.

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

A reverse engineering tool that'll supply the place of Cheat Engine for linux

Exploit Development and Reverse Engineering with GDB Made Easy

One-stop Visual Studio Code Extension to compile, debug and profile Amiga C/C++ programs compiled by the bundled gcc 10.1 with the bundled WinUAE.

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

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

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

Simplify Ethereum security analysis and testing

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.

An python vm injector with debug tools, based on gdb.

GDB graphical interface for GNU Emacs

Android Unpacker presented at Defcon 22: Android Hacker Protection Level 0

Use angr inside GDB. Create an angr state from the current debugger state.

Record and Replay Framework

Public repository of static GDB and GDBServer

A unit test-like interface for fuzzing and symbolic execution

Automatic ROPChain Generation

yet another tool for analysing binaries

GDB Pretty Printers for libc++ of Clang/LLVM

D language IDE based on DlangUI

A library to parse gdb mi output and interact with gdb subprocesses

Neovim thin wrapper for GDB, LLDB, PDB/PDB++ and BashDB

Cross platform IDE and Shell

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

Open source STM32 MCU programming toolset

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

APISan: Sanitizing API Usages through Semantic Cross-Checking

Debugging C++ in a Docker Container with CLion IDE

An open source interactive disassembler

GDB plugin peda for arm

超级速查表 - 编程语言、框架和开发工具的速查表，单个文件包含一切你需要知道的东西 ⚡

How to build an efficient pwn development environment in 2020

A drop-anywhere C++ REPL

Various tools to improve the gdb experience

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

Export dwarf debug information from IDA Pro

A hacky debugger UI for hackers

Binary Analysis Platform

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

Symbolic execution tool

python library to examine ptmalloc (the glibc userland heap implementation)

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.

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

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.

A hyper plugin to provide a flexible GDB GUI with the help of GEF, pwndbg or peda

## Project deprecated in favor of: new.vim + new-gdb.vim

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging features for exploit developers & reverse engineers ☢

🔍Heap analysis tool for CTF pwn.

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

Rich man's profiler, a profiler for native OCaml and other executables

Simple Theorem Prover, an efficient SMT solver for bitvectors

☕ GDBFrontend is an easy, flexible and extensionable gui debugger.

Enable piping of internal command output to external commands

Automatic verification of LLVM optimizations

LibVMI-based debug server, implemented in Python. Building a guest aware, stealth and agentless full-system debugger

Seeding fuzzers with symbolic execution

KLEE Symbolic Execution Engine

A simple, dependency-free GDB stub that can be easily dropped in to your project.