Awesome Open Source

Programming Languages

Search results for symbolic execution engine

symbolic-execution-engine x

9 search results found

Selfie ⭐ 2,313

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Symbolicai ⭐ 757

Compositional Differentiable Programming Library

A high-performance, parallel, compilation-based symbolic execution engine

A symbolic Java virtual machine for program analysis, verification and test generation

Deep.Net machine learning framework for F#

Symbooglix ⭐ 26

Symbolic Execution Engine for Boogie

rune - radare2 based symbolic emulator

Monster is a symbolic execution engine for 64-bit RISC-U code

Symexec Engine Modoki ⭐ 7

Symbolic Execution Engine Modoki

Related Searches

Python Symbolic Execution Engine (3)

Machine Learning Symbolic Execution Engine (3)

Java Symbolic Execution Engine (3)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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