Awesome Open Source

Programming Languages

Search results for testing symbolic execution

symbolic-execution x

11 search results found

Manticore ⭐ 3,535

Symbolic execution tool

Crosshair ⭐ 924

An analysis tool for Python that blurs the line between testing and type systems.

Deepstate ⭐ 782

A unit test-like interface for fuzzing and symbolic execution

Symexbib ⭐ 239

A bibliography of papers related to symbolic execution

AI based fuzzer based on imitation learning

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

Fuzzing tutorial with easy to learn labs 🚀

Symbolic Execution Tutorial ⭐ 73

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

Symbolica ⭐ 50

Symbolica's open-source symbolic execution engine.

P4pktgen ⭐ 41

Automatic test case generator for P4 programs

Symbolic execution engine for .NET Core

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

CLI client for the MythX API

WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules.

Related Searches

Angular Testing (22,105)

Command Line Testing (21,674)

Javascript Testing (21,651)

Typescript Testing (20,791)

Python Testing (9,499)

Java Testing (7,064)

Ruby Testing (4,020)

Html Testing (3,478)

Php Testing (3,466)

Reactjs Testing (3,184)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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