Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Wasp

WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.
Stars
9
License
apache-2.0
Open Issues
0
Most Recent Commit
a year ago
Programming Language
WebAssembly
Categories
Repo
Alternatives To Wasp
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Manticore3,535pypi manticore} Downloads1110 months ago1,137December 09, 2023264agpl-3.0Python
Symbolic execution tool
Crosshair924pypi crosshair-tool} Downloads15 months ago45November 10, 202350otherPython
An analysis tool for Python that blurs the line between testing and type systems.
Deepstate782
10 months ago90apache-2.0Python
A unit test-like interface for fuzzing and symbolic execution
Symexbib239
8 years ago1
A bibliography of papers related to symbolic execution
Ilf123
a year ago1apache-2.0Python
AI based fuzzer based on imitation learning
Smoosh98
a year ago22mitOCaml
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Fuzzing77
2 years agomitC++
Fuzzing tutorial with easy to learn labs 🚀
Symbolic Execution Tutorial73
3 years agoPython
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
Symbolica50nuget Symbolica.Abstraction} Downloads32 years ago513May 12, 20223mitC#
Symbolica's open-source symbolic execution engine.
P4pktgen41
3 years ago28otherPython
Automatic test case generator for P4 programs
Alternatives To Wasp
Select To Compare
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 10 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 5 months agopypi crosshair-tool} Downloads
Symbolica ⭐ 50
Symbolica's open-source symbolic execution engine.
dependent packages 3total releases 513most recent commit 2 years agonuget Symbolica.Abstraction} Downloads


Suggest An Alternative To wasp
Alternative Project Comparisons
Wasp vs Manticore
Wasp vs Crosshair
Wasp vs Deepstate
Wasp vs Symexbib
Wasp vs Ilf
Wasp vs Smoosh
Wasp vs Fuzzing
Wasp vs Symbolic Execution Tutorial
Wasp vs Symbolica
Wasp vs P4pktgen
Popular Testing Projects
Puppeteer ⭐ 87,570
Node.js API for Chrome
dependent packages 15,686total releases 851latest release December 06, 2023most recent commit 2 days agonpm puppeteer} Downloads
Storybook ⭐ 83,337
Storybook is a frontend workshop for building UI components and pages in isolation. Made for UI development, testing, and documentation.
dependent packages 26,487total releases 1,044latest release December 02, 2023most recent commit 2 days agonpm @storybook/addon-essentials} Downloads
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2latest release June 21, 2021most recent commit 5 months ago
Playwright ⭐ 62,215
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
dependent packages 3,117total releases 1,758latest release November 29, 2023most recent commit 2 months agonpm @playwright/test} Downloads
Popular Symbolic Execution Projects
Angr ⭐ 7,005
A powerful and user-friendly binary analysis platform!
dependent packages 16total releases 213latest release December 05, 2023most recent commit 5 months agopypi angr} Downloads
Klee ⭐ 2,399
KLEE Symbolic Execution Engine
most recent commit 5 months ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
C Testing
C Symbolic Execution
C Program Analysis
Testing Symbolic Execution
Symbolic Execution Program Analysis
Testing Program Analysis

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Testing
Symbolic Execution
Program Analysis
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.