Z3Prover / FirewallChecker
A self-contained firewall checker
☆104Updated 3 years ago
Alternatives and similar repositories for FirewallChecker:
Users that are interested in FirewallChecker are comparing it to the libraries listed below
- Open source binary analysis tools.☆211Updated 3 weeks ago
- Test and benchmark repository for Z3.☆26Updated 2 weeks ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- TLS implemented in f7☆43Updated 8 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Network Semantics☆86Updated 6 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆88Updated 2 months ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- Symbolic formula representation and solver interaction library☆156Updated 4 months ago
- Program analysis tools developed at Draper on the CBAT project.☆102Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- MRT Parser☆46Updated 5 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆261Updated this week
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- Documentation☆40Updated last month
- Semantics of x86-64 in K☆145Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Main repository of the Vigor NF verification project.☆47Updated 3 years ago
- ☆13Updated 5 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆37Updated last month
- Checking that functions are constant time with Valgrind☆177Updated 7 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆488Updated 5 months ago
- An implementation of the IETF QUIC protocol in F*☆19Updated 5 years ago
- Symbolic Execution Engine for Boogie☆28Updated 3 years ago
- Symbolic execution engine for toy language.☆51Updated 6 years ago
- estimate peak virtual memory use☆19Updated last week
- ☆51Updated 8 years ago
- Mignis is a semantic based tool for firewall configuration.☆42Updated 5 years ago
- Lem semantic definition language☆134Updated last month