Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Symbolic Execution Dynamic Analysis Open Source Projects

Open source projects categorized as Symbolic Execution Dynamic Analysis
Categories > Security > Dynamic Analysis
Categories > Security > Symbolic Execution
Triton ⭐ 3,285
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
dependent packages 1total releases 3most recent commit 16 days agopypi triton-library} Downloads
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
Awesome Symbolic Execution ⭐ 1,119
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
most recent commit 9 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
Symbolic Execution ⭐ 412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
most recent commit 2 years ago
Pathgrind ⭐ 106
Path based Dynamic Analysis
most recent commit 7 years ago
Dig ⭐ 33
DIG is an invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
most recent commit 3 months ago
The 2 Most Depended On Symbolic Execution Dynamic Analysis Open Source Projects
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
The 2 Latest Releases In Symbolic Execution Dynamic Analysis Open Source Projects
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
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
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.