77 results found Sort:
- Filter by Primary Language:
- Python (27)
- C++ (17)
- OCaml (5)
- C (5)
- Haskell (4)
- Java (4)
- Scala (2)
- C# (2)
- Kotlin (2)
- LLVM (2)
- Jupyter Notebook (1)
- JavaScript (1)
- Roff (1)
- Rust (1)
- Go (1)
- +
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Created
2017-09-18
4,903 commits to develop branch, last one 2 months ago
Symbolic execution tool
Created
2017-02-10
1,109 commits to master branch, last one about a year ago
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Created
2015-01-25
4,291 commits to master branch, last one 2 months ago
Reverse engineering framework in Python
Created
2014-10-28
3,894 commits to master branch, last one 2 months ago
KLEE Symbolic Execution Engine
Created
2013-07-21
2,773 commits to master branch, last one 3 months ago
Binary Analysis Platform
Created
2014-10-30
1,284 commits to master branch, last one about a month ago
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Created
2016-07-02
578 commits to master branch, last one about a year ago
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Created
2017-07-18
27 commits to master branch, last one 6 months ago
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Created
2022-02-14
4 commits to main branch, last one 3 years ago
An analysis tool for Python that blurs the line between testing and type systems.
Created
2017-08-29
2,033 commits to main branch, last one 12 days ago
An open source interactive disassembler
Created
2011-12-01
1,155 commits to dev branch, last one 6 years ago
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Created
2018-03-19
165 commits to master branch, last one 3 years ago
Automatic verification of LLVM optimizations
Created
2018-06-09
2,517 commits to master branch, last one 3 hours ago
A unit test-like interface for fuzzing and symbolic execution
Created
2017-10-27
1,182 commits to master branch, last one 2 months ago
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.
Created
2016-10-28
39 commits to master branch, last one about a year ago
Use angr in Ghidra
Created
2020-08-26
71 commits to master branch, last one 8 months ago
The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
Created
2023-05-21
2 commits to main branch, last one about a year ago
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created
2013-08-27
3,188 commits to master branch, last one 6 months ago
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Created
2017-03-10
141 commits to master branch, last one 7 months ago
yet another tool for analysing binaries
Created
2014-04-08
415 commits to release branch, last one 2 months ago
A modern supercompiler for call-by-value functional languages
Created
2024-07-11
193 commits to master branch, last one 2 days ago
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Created
2018-12-03
197 commits to master branch, last one 5 years ago
Simplify Ethereum security analysis and testing
This repository has been archived
(exclude archived)
Created
2018-06-27
469 commits to master branch, last one 2 months ago
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created
2014-12-30
2,060 commits to main branch, last one 11 days ago
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Created
2018-11-20
227 commits to master branch, last one 2 years ago
symbolic execution plugin for binary ninja
Created
2019-07-05
226 commits to master branch, last one about a year ago
Static deobfuscator for Themida, WinLicense and Code Virtualizer 3.x's mutation-based obfuscation.
Created
2023-08-26
47 commits to main branch, last one 8 months ago
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Created
2022-06-21
696 commits to master branch, last one 3 months ago
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Created
2020-06-28
9 commits to master branch, last one 3 years ago
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.
Created
2017-05-04
1,155 commits to master branch, last one 9 months ago