ptal / AbSoluteLinks
Constraint solver based on abstract interpretation
☆10Updated 6 months ago
Alternatives and similar repositories for AbSolute
Users that are interested in AbSolute are comparing it to the libraries listed below
Sorting:
- ☆11Updated this week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated last month
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆54Updated last month
- The MemCAD static analyzer☆27Updated 3 years ago
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- Software construction and deployment kit☆33Updated last week
- A TLA+ specification for the Xen vchan protocol☆14Updated 6 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Small example MirageOS unikernels.☆15Updated 6 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆27Updated 5 years ago
- DEciding Equivalence Properties in SECurity protocols☆18Updated 2 years ago
- Parsifal : an OCaml-based parsing engine☆63Updated 4 years ago
- OCaml-TLS exposed to C☆23Updated 7 years ago
- Testing and benchmarking tool for logic-related programs.☆26Updated 3 months ago
- A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt☆12Updated 4 months ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- OCaml parsers for multiple key formats☆15Updated 11 months ago
- Xen core platform libraries for MirageOS☆18Updated 5 months ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Updated last year
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- Interactive memory profiler based on Memtrace☆31Updated last month
- Scripts I use to test Mirage unikernels on QubesOS☆10Updated 5 years ago
- Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)☆15Updated 3 years ago
- An OCaml library providing a C parser and lexer☆42Updated 8 months ago
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Reed-Solomon Error Correction CODEC☆25Updated 6 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 weeks ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month