SQLab / Symgdb
Licence: mit
SymGDB - symbolic execution plugin for gdb
Stars: ✭ 202
Programming Languages
python
139335 projects - #7 most used programming language
Labels
Projects that are alternatives of or similar to Symgdb
Vscode Amiga Debug
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.
Stars: ✭ 107 (-47.03%)
Mutual labels: gdb
Sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (-26.24%)
Mutual labels: symbolic-execution
Pygdbmi
A library to parse gdb mi output and interact with gdb subprocesses
Stars: ✭ 139 (-31.19%)
Mutual labels: gdb
Angrgdb
Use angr inside GDB. Create an angr state from the current debugger state.
Stars: ✭ 165 (-18.32%)
Mutual labels: gdb
Triton
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.
Stars: ✭ 1,934 (+857.43%)
Mutual labels: symbolic-execution
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Stars: ✭ 1,968 (+874.26%)
Mutual labels: symbolic-execution
Gdb Frontend
☕ GDBFrontend is an easy, flexible and extensionable gui debugger.
Stars: ✭ 2,104 (+941.58%)
Mutual labels: gdb
Docker Clion Dev
Debugging C++ in a Docker Container with CLion IDE
Stars: ✭ 172 (-14.85%)
Mutual labels: gdb
Build An Efficient Pwn Environment
How to build an efficient pwn development environment in 2020
Stars: ✭ 191 (-5.45%)
Mutual labels: gdb
Alive2
Automatic verification of LLVM optimizations
Stars: ✭ 199 (-1.49%)
Mutual labels: symbolic-execution
Pyvmidbg
LibVMI-based debug server, implemented in Python. Building a guest aware, stealth and agentless full-system debugger
Stars: ✭ 192 (-4.95%)
Mutual labels: gdb
Kleefl
Seeding fuzzers with symbolic execution
Stars: ✭ 172 (-14.85%)
Mutual labels: symbolic-execution
gdb symbolic
gdb-symbolic - symbolic execution extention for gdb
Installation
Warning!!! Installation script will overwrite your gdb
Due to python3 not supported for triton yet
Need to recompile gdb for python2
./install.sh
echo "source ~/symgdb/symgdb.py" >> ~/.gdbinit
Commands
| Command | Options | Functionality |
|---|---|---|
| symbolize | argv | Make symbolic |
| memory [address][size] | ||
| target | address | Set target address |
| triton | Run symbolic execution | |
| answer | Print symbolic variables | |
| debug | symbolic gdb | Show debug message |
Examples
You could combine with other gdb plugin, such as peda.
crackme hash 32
symbolize argv
crackme hash 64
Tests
./tests/run.sh
Talk
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].