Awesome Open Source

Programming Languages

Search results for ocaml symbolic

13 search results found

Fuzzball ⭐ 212

FuzzBALL: Vine-based Binary Symbolic Execution

[toy] A rewriting language similar to the core of Mathematica

Symbolic execution tool for Sail ISA specifications

Proscript Messaging ⭐ 32

Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

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

D S Se Directed Tests ⭐ 19

Binary dynamic, static, and symbolic execution analysis tools for directed test generation

Colis Language ⭐ 18

A symbolic analyser for shell scripts.

Bidirectional transformation for Relational view update Datalog-based Strategies

Owl_symbolic ⭐ 12

Connect Owl with other accelerators and numerical frameworks with symbolic maths

Abstract domain library for sets

Symbolic Reasoning Kit

Algorithm for Proving Trace Equivalence

Seclab_eissec ⭐ 5

Extracting Instruction Semantics Via Symbolic Execution of Code Generators

Related Searches

Ocaml Reasonml (475)

Python Symbolic (449)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

Javascript Ocaml (181)

Reactjs Ocaml (168)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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