Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 14 Testing Symbolic Execution Open Source Projects

Open source projects categorized as Testing Symbolic Execution
Categories > Security > Symbolic Execution
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 7 months agopypi manticore} Downloads
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
Symexbib ⭐ 239
A bibliography of papers related to symbolic execution
most recent commit 8 years ago
Ilf ⭐ 123
AI based fuzzer based on imitation learning
most recent commit 9 months ago
Smoosh ⭐ 98
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
most recent commit a year ago
Fuzzing ⭐ 77
Fuzzing tutorial with easy to learn labs 🚀
most recent commit 2 years ago
Symbolic Execution Tutorial ⭐ 73
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
most recent commit 3 years ago
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513most recent commit 2 years agonuget Symbolica.Abstraction} Downloads
P4pktgen ⭐ 41
Automatic test case generator for P4 programs
most recent commit 3 years ago
Vsharp ⭐ 41
Symbolic execution engine for .NET Core
most recent commit 3 months ago
Seviz ⭐ 21
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
most recent commit 8 years ago
Mythos ⭐ 13
CLI client for the MythX API
dependent packages 3total releases 34most recent commit 4 years agonpm @cleanunicorn/mythos} Downloads
Wasp ⭐ 9
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.
most recent commit 8 months ago
The 4 Most Depended On Testing Symbolic Execution Open Source Projects
Mythos ⭐ 13
CLI client for the MythX API
dependent packages 3total releases 34latest release July 08, 2020most recent commit 4 years agonpm @cleanunicorn/mythos} Downloads
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513latest release May 12, 2022most recent commit 2 years agonuget Symbolica.Abstraction} 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 4 Latest Releases In Testing 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
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
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513latest release May 12, 2022most recent commit 2 years agonuget Symbolica.Abstraction} Downloads
Mythos ⭐ 13
CLI client for the MythX API
dependent packages 3total releases 34latest release July 08, 2020most recent commit 4 years agonpm @cleanunicorn/mythos} 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.