Topic: symbolic-execution Goto Github

👇 Here are 239 public repositories matching this topic...

0xm3r / cgpwn
symbolic-execution,A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
User: 0xm3r
cgpwn vm vagrant ctf-tools symbolic-execution

alivetoolkit / alive2
symbolic-execution,Automatic verification of LLVM optimizations
Organization: alivetoolkit
automatic-verification llvm llvm-ir model-checking smt symbolic-execution translation-validation verification

andreafioraldi / idangr
symbolic-execution,Use angr in the IDA Pro debugger generating a state from the current debug session
User: andreafioraldi
Home Page: https://andreafioraldi.github.io/IDAngr/
angr ida-pro ida-plugin symbolic-execution debugger idapython ida plugin symbolic execution

angorafuzzer / angora
symbolic-execution,Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Organization: angorafuzzer
afl data-flow-analysis fuzzer fuzzing security symbolic-execution taint-analysis

bdcht / amoco
symbolic-execution,yet another tool for analysing binaries
User: bdcht
python reverse-engineering assembly-language symbolic-execution graphs

binaryanalysisplatform / bap
symbolic-execution,Binary Analysis Platform
Organization: binaryanalysisplatform
binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter

borzacchiello / naaz
symbolic-execution,Symbolic Execution Engine based on Ghidra's PCode
User: borzacchiello
program-analysis reverse-engineering symbolic-execution

borzacchiello / seninja
symbolic-execution,symbolic execution plugin for binary ninja
User: borzacchiello
binaryninja binaryninja-plugin symbolic-execution reverse-engineering

cea-sec / miasm
symbolic-execution,Reverse engineering framework in Python
Organization: cea-sec
Home Page: https://miasm.re/
reverse-engineering disassembler emulator symbolic-execution intermediate-representation assembler python hacktoberfest

cleanunicorn / karl
symbolic-execution,Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
User: cleanunicorn
blockchain ethereum security smt symbolic-execution defcon defcon27

colton1skees / dna
symbolic-execution,Static analysis & deobfuscation framework for x86/x64
User: colton1skees
analysis binary deobfuscation instruction-semantics lifter program-analysis symbolic-execution triton decompiler llvm

consensys / mythril
symbolic-execution,Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Organization: consensys
Home Page: https://mythx.io/
security-analysis ethereum blockchain smart-contracts solidity program-analysis security symbolic-execution

crytic / etheno
symbolic-execution,Simplify Ethereum security analysis and testing
Organization: crytic
ethereum solidity truffle ganache symbolic-execution differential-testing

crytic / optik
symbolic-execution,Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Organization: crytic
Home Page: https://github.com/crytic/optik
echidna evm fuzzing maat security-tools smart-contracts symbolic-execution

d4em0n / exrop
symbolic-execution,Automatic ROPChain Generation
User: d4em0n
rop exploitdev ctf binary-exploitation reverse-engineering exploit-development pwn triton rop-chain rop-gadgets

enzet / symbolic-execution
symbolic-execution,History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
User: enzet
dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving

ercoppa / symbolic-execution-tutorial
symbolic-execution,Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
User: ercoppa
symbolic-execution angr lecture-notes slides tutorial testing binary

eth-sri / ilf
symbolic-execution,AI based fuzzer based on imitation learning
Organization: eth-sri
blockchain fuzzing imitation-learning machine-learning smart-contracts symbolic-execution testing

exposejs / expose
symbolic-execution,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.
Organization: exposejs
javascript symbolic-execution software-testing unit-testing programming-languages program-analysis bug-fixing

fuzzinglabs / thoth
symbolic-execution,Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Organization: fuzzinglabs
Home Page: https://fuzzinglabs.com/
analysis cairo-lang callflow cfg disassembler reversing security starknet decompiler sierra

galoisinc / mate
symbolic-execution,MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
Organization: galoisinc
Home Page: https://galoisinc.github.io/MATE/
code-property-graph llvm program-analysis security security-research static-analysis symbolic-execution

generative-program-analysis / gensym
symbolic-execution,A high-performance, parallel, compilation-based symbolic execution engine
Organization: generative-program-analysis
compiler metaprogramming multi-stage-programming scala symbolic-execution symbolic-execution-engine

harvardpl / formulog
symbolic-execution,Datalog with support for SMT queries and first-order functional programming
Organization: harvardpl
Home Page: https://harvardpl.github.io/formulog/
datalog logic-programming smt static-analysis symbolic-execution

huchenxucs / chatdb
symbolic-execution,The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
User: huchenxucs
Home Page: https://chatdatabase.github.io/
database large-language-models memory symbolic-execution

illera88 / ponce
symbolic-execution,IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
User: illera88
Home Page: https://docs.idaponce.com
ida-plugin symbolic-execution ida idapro

ispras / oss-sydr-fuzz
symbolic-execution,OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Organization: ispras
Home Page: https://sydr-fuzz.github.io
security fuzzing fuzz-testing vulnerabilities stability oss-fuzz dse symbolic-execution symbolic sydr sydr-fuzz dynamic-symbolic-execution concolic-execution concolic hybrid-fuzzing libfuzzer

jonathansalwan / tigress_protection
symbolic-execution,Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM.
User: jonathansalwan
Home Page: http://tigress.cs.arizona.edu/challenges.html
deobfuscation tigress tigress-protections triton symbolic-execution llvm reverse-engineering taint-analysis solution-tigress-challenge

jonathansalwan / triton
symbolic-execution,Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
User: jonathansalwan
Home Page: https://triton-library.github.io
reverse-engineering symbolic-execution binary-analysis program-analysis taint-analysis binary-translation deobfuscation instruction-semantics lifter dynamic-analysis

jonathansalwan / vmprotect-devirtualization
symbolic-execution,Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
User: jonathansalwan
vmprotect symbolic-execution program-analysis llvm-ir deobfuscation

julieeen / kleefl
symbolic-execution,Seeding fuzzers with symbolic execution
User: julieeen
afl-fuzz klee fuzzing symbolic-execution vulnerability-analysis

klee / klee
symbolic-execution,KLEE Symbolic Execution Engine
Organization: klee
Home Page: https://klee-se.org/
symbolic-execution klee

ksluckow / awesome-symbolic-execution
symbolic-execution,A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
User: ksluckow
symbolic-execution dynamic-analysis dynamic-symbolic-execution awesome-list

mgree / smoosh
symbolic-execution,The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
User: mgree
Home Page: http://shell.cs.pomona.edu
posix formalization posix-sh posix-shell sh shell-scripting shell semantics symbolic-execution

nalen98 / angryghidra
symbolic-execution,Use angr in Ghidra
User: nalen98
ghidra angr symbolic-execution ghidra-plugin symbolic execution

palkeo / pakala
symbolic-execution,Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
User: palkeo
Home Page: https://www.palkeo.com/en/projets/ethereum/pakala.html
ethereum security-scanner security symbolic-execution ethereum-virtual-machine

plsyssec / sys
symbolic-execution,Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Organization: plsyssec
Home Page: https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
symbolic-execution bug-finding static-analysis security

pschanely / crosshair
symbolic-execution,An analysis tool for Python that blurs the line between testing and type systems.
User: pschanely
python static-analysis testing-framework symbolic-execution type-systems fuzzing contracts dynamic-analysis testing z3

quarkslab / pastis
symbolic-execution,PASTIS: Collaborative Fuzzing Framework
Organization: quarkslab
Home Page: https://quarkslab.github.io/pastis
fuzzing program-analysis symbolic-execution vulnerability-research

season-lab / fuzzolic
symbolic-execution,fuzzing + concolic = fuzzolic :)
Organization: season-lab
Home Page: https://season-lab.github.io/fuzzolic/
concolic-execution symbolic-execution

sqlab / craxplusplus
symbolic-execution,The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
Organization: sqlab
aeg exploit symbolic-execution s2e crax concolic-execution

sqlab / symgdb
symbolic-execution,SymGDB - symbolic execution plugin for gdb
Organization: sqlab
gdb gdb-plugin symbolic-execution triton

staticafi / symbiotic
symbolic-execution,Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Organization: staticafi
Home Page: http://staticafi.github.io/symbiotic/
verification verification-toolchain symbolic-execution program-slicing slicing klee llvm instrumentation slice llvm-ir

stp / stp
symbolic-execution,Simple Theorem Prover, an efficient SMT solver for bitvectors
Organization: stp
Home Page: https://stp.github.io/
smt symbolic-execution sat-solver verification cryptography cnf

trailofbits / deepstate
symbolic-execution,A unit test-like interface for fuzzing and symbolic execution
Organization: trailofbits
unit-testing symbolic-execution fuzzing testing-framework testing-tools property-based-testing

trailofbits / manticore
symbolic-execution,Symbolic execution tool
Organization: trailofbits
Home Page: https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
symbolic-execution z3 python binary-analysis emulation smt program-analysis security ethereum blockchain

tum-i4 / obfuscation-benchmarks
symbolic-execution,A set of programs used for benchmarking the strength of obfuscation
Organization: tum-i4
benchmarks docker-image klee obfuscation resilience symbolic-execution

unittestbot / utbotcpp
symbolic-execution,Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
Organization: unittestbot
software-analysis test-generation symbolic-execution c cpp unit-testing static-analysis klee

unittestbot / utbotjava
symbolic-execution,Automated unit test generation and precise code analysis for Java
Organization: unittestbot
software-analysis symbolic-execution test-generation intellij-plugin java

wisk / medusa
symbolic-execution,An open source interactive disassembler
User: wisk
c-plus-plus disassembler emulator reverse-engineering symbolic-execution

yuawn / fuzzing
symbolic-execution,Fuzzing tutorial with easy-to-learn labs 🚀
User: yuawn
fuzzing afl fuzz-testing klee llvm symbolic-execution tutorial securtiy 101 automation