Z3Prover / FirewallChecker

Related projects: ⓘ

• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆45Updated 3 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆203Updated this week
• dns-groot / groot
  Static verification tool for DNS zone files
  ☆77Updated last year
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆244Updated 2 weeks ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆42Updated 8 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• UMD-CSEC / fpff
  ☆12Updated this week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆151Updated 2 weeks ago
• dns-groot / Ferret
  Automatic Test generator and Differential Tester for DNS Nameserver implementations
  ☆30Updated 11 months ago
• uw-unsat / serval-tutorial-sosp19
  ☆13Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆65Updated 8 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆76Updated 2 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 4 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆79Updated last month
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆234Updated last year
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• secgroup / fws
  Language-independent Synthesis of Firewall Policies
  ☆23Updated last year
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆71Updated last year
• tls-attacker / TLS-Anvil
  TLS-Anvil, a fully automated TLS testsuite for client and servers.
  ☆89Updated 7 months ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆101Updated last year
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆36Updated 9 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• rems-project / netsem
  Network Semantics
  ☆85Updated 5 years ago
• awslabs / one-line-scan
  With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hook…
  ☆20Updated last year
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆55Updated 7 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆19Updated 7 months ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆23Updated last month
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆28Updated 8 months ago