Awesome Open Source

Programming Languages

Search results for ocaml symbolic execution

symbolic-execution x

9 search results found

Binary Analysis Platform

Fuzzball ⭐ 212

FuzzBALL: Vine-based Binary Symbolic Execution

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

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Colis Language ⭐ 18

A symbolic analyser for shell scripts.

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.

Seclab_eissec ⭐ 5

Extracting Instruction Semantics Via Symbolic Execution of Code Generators

An OCaml SMT abstraction layer for constraint solvers.

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

Ocaml Coq (163)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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