Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Python Symbolic Execution Open Source Projects

Open source projects categorized as Python Symbolic Execution
Categories > Security > Symbolic Execution
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213most recent commit 3 months agopypi angr} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
Miasm ⭐ 3,253
Reverse engineering framework in Python
most recent commit 3 months ago
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45most recent commit 3 months agopypi crosshair-tool} Downloads
Deepstate ⭐ 782
A unit test-like interface for fuzzing and symbolic execution
most recent commit 8 months ago
Driller ⭐ 734
Driller: augmenting AFL with symbolic execution!
most recent commit 2 years ago
Amoco ⭐ 435
yet another tool for analysing binaries
most recent commit a year ago
Etheno ⭐ 303
Simplify Ethereum security analysis and testing
total releases 9most recent commit 10 months ago
Karl ⭐ 300
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
most recent commit a year ago
Symbiotic ⭐ 282
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
most recent commit 5 months ago
Pyexz3 ⭐ 233
Python Exploration with Z3
most recent commit 6 years ago
Thoth ⭐ 221
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
most recent commit 5 months ago
Seninja ⭐ 218
symbolic execution plugin for binary ninja
most recent commit 3 months ago
Symgdb ⭐ 197
SymGDB - symbolic execution plugin for gdb
most recent commit 6 years ago
Exrop ⭐ 164
Automatic ROPChain Generation
most recent commit 4 years ago
Kleefl ⭐ 155
Seeding fuzzers with symbolic execution
most recent commit 7 years ago
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11most recent commit 4 months ago
Chatdb ⭐ 130
The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
most recent commit 10 months ago
Icsref ⭐ 128
A tool for reverse engineering industrial control systems binaries.
most recent commit a year ago
Ilf ⭐ 123
AI based fuzzer based on imitation learning
most recent commit 9 months ago
Mate ⭐ 120
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.
most recent commit a year ago
Symtcp ⭐ 118
Automatic Discrepancy Discovery for DPI Elusion
most recent commit 4 years ago
Pakala ⭐ 88
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
total releases 25most recent commit 4 years ago
The 3 Most Depended On Python Symbolic Execution Open Source Projects
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213latest release December 05, 2023most recent commit 3 months agopypi angr} Downloads
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45latest release November 10, 2023most recent commit 3 months agopypi crosshair-tool} Downloads
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
The 6 Latest Releases In Python Symbolic Execution Open Source Projects
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months agopypi manticore} Downloads
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213latest release December 05, 2023most recent commit 3 months agopypi angr} Downloads
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45latest release November 10, 2023most recent commit 3 months agopypi crosshair-tool} Downloads
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11latest release September 10, 2023most recent commit 4 months ago
Etheno ⭐ 303
Simplify Ethereum security analysis and testing
total releases 9latest release November 01, 2022most recent commit 10 months ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.