G2No description or website provided.
Stars: ✭ 24 (-98.7%)
Mutual labels: symbolic-execution
Awesome Symbolic ExecutionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Stars: ✭ 634 (-65.75%)
Mutual labels: symbolic-execution
EthenoSimplify Ethereum security analysis and testing
Stars: ✭ 77 (-95.84%)
Mutual labels: symbolic-execution
CgpwnA lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting etc) and wargaming tasks
Stars: ✭ 345 (-81.36%)
Mutual labels: symbolic-execution
CrosshairAn analysis tool for Python that blurs the line between testing and type systems.
Stars: ✭ 586 (-68.34%)
Mutual labels: symbolic-execution
Wasabi AegYet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
Stars: ✭ 23 (-98.76%)
Mutual labels: symbolic-execution
malware-s2eCode for my blog post on using S2E for malware analysis
Stars: ✭ 21 (-98.87%)
Mutual labels: symbolic-execution
BapBinary Analysis Platform
Stars: ✭ 1,385 (-25.18%)
Mutual labels: symbolic-execution
DeepstateA unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (-67.42%)
Mutual labels: symbolic-execution
PonceIDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Stars: ✭ 1,066 (-42.41%)
Mutual labels: symbolic-execution
Symbolic ExecutionHistory of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Stars: ✭ 395 (-78.66%)
Mutual labels: symbolic-execution
Tigress protectionPlaying 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.
Stars: ✭ 550 (-70.29%)
Mutual labels: symbolic-execution
MedusaAn open source interactive disassembler
Stars: ✭ 946 (-48.89%)
Mutual labels: symbolic-execution
StpSimple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (-81.58%)
Mutual labels: symbolic-execution
ExposeA 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.
Stars: ✭ 94 (-94.92%)
Mutual labels: symbolic-execution
smooshThe Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Stars: ✭ 86 (-95.35%)
Mutual labels: symbolic-execution
AngoraAngora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Stars: ✭ 669 (-63.86%)
Mutual labels: symbolic-execution
MythrilSecurity analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
Stars: ✭ 1,968 (+6.32%)
Mutual labels: symbolic-execution
PakalaOffensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Stars: ✭ 97 (-94.76%)
Mutual labels: symbolic-execution
ApisanAPISan: Sanitizing API Usages through Semantic Cross-Checking
Stars: ✭ 46 (-97.51%)
Mutual labels: symbolic-execution