73 results found Sort:

752
3.9k
mit
80
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 days ago
476
3.7k
agpl-3.0
129
Symbolic execution tool
Created 2017-02-10
1,109 commits to master branch, last one about a year ago
540
3.6k
apache-2.0
134
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,256 commits to master branch, last one 3 months ago
474
3.5k
gpl-2.0
139
Reverse engineering framework in Python
Created 2014-10-28
3,894 commits to master branch, last one 7 days ago
682
2.7k
other
108
KLEE Symbolic Execution Engine
Created 2013-07-21
2,773 commits to master branch, last one 27 days ago
74
1.5k
other
74
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 4 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 2 years ago
51
1.1k
other
14
An analysis tool for Python that blurs the line between testing and type systems.
Created 2017-08-29
1,985 commits to main branch, last one 10 days ago
91
1.0k
other
84
An open source interactive disassembler
Created 2011-12-01
1,155 commits to dev branch, last one 6 years ago
169
935
apache-2.0
41
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 2 years ago
Automatic verification of LLVM optimizations
Created 2018-06-09
2,510 commits to master branch, last one 13 hours ago
99
825
apache-2.0
57
A unit test-like interface for fuzzing and symbolic execution
Created 2017-10-27
1,182 commits to master branch, last one 10 days 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 6 months ago
48
546
unknown
15
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
130
532
other
34
Simple Theorem Prover, an efficient SMT solver for bitvectors
Created 2013-08-27
3,188 commits to master branch, last one 4 months ago
56
489
cc-by-sa-4.0
38
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 5 months ago
65
471
gpl-2.0
41
yet another tool for analysing binaries
Created 2014-04-08
413 commits to release branch, last one 7 months ago
A modern supercompiler for call-by-value functional languages
Created 2024-07-11
177 commits to master branch, last one 7 days ago
28
341
gpl-3.0
9
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 4 years ago
32
339
agpl-3.0
20
Simplify Ethereum security analysis and testing
Created 2018-06-27
468 commits to master branch, last one about a year 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
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Created 2014-12-30
2,052 commits to main branch, last one 3 months ago
24
306
bsd-2-clause
11
symbolic execution plugin for binary ninja
Created 2019-07-05
226 commits to master branch, last one 11 months 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 6 months ago
22
253
agpl-3.0
4
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Created 2022-06-21
696 commits to master branch, last one 19 days ago
41
224
gpl-2.0
23
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Created 2020-06-28
9 commits to master branch, last one 2 years ago
39
194
mit
10
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 7 months ago