Alternatives and similar repositories for FirewallChecker:

Users that are interested in FirewallChecker are comparing it to the libraries listed below

• GaloisInc / macaw
  Open source binary analysis tools.
  ☆218Updated last week
• dns-groot / groot
  Static verification tool for DNS zone files
  ☆79Updated 2 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆266Updated this week
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• rems-project / netsem
  Network Semantics
  ☆87Updated 6 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago
• airbus-seclab / gustave
  GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…
  ☆198Updated 3 years ago
• 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…
  ☆91Updated 2 weeks ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆157Updated this week
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 4 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆26Updated 2 months ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated last year
• enzet / symbolic-execution
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆490Updated 7 months ago
• kframework / X86-64-semantics
  Semantics of x86-64 in K
  ☆147Updated 5 years ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆97Updated 9 months ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• gravitational / rbac-linter
  ☆29Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• bcdannyboy / Research
  General Research Repository - Only updated when I feel like it
  ☆28Updated 5 months ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• thomas-mangin / vyos-hacker-toolkit
  Tools for VyOS developers
  ☆12Updated 4 years ago
• rems-project / lem
  Lem semantic definition language
  ☆138Updated 2 weeks ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆179Updated 8 years ago