Alternatives and similar repositories for FirewallChecker

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

• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 7 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆47Updated 6 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆248Updated 2 weeks ago
• uw-unsat / serval-tutorial-sosp19
  ☆14Updated 6 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 2 weeks ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 4 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆303Updated this week
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆73Updated 3 years ago
• project-everest / everest
  ☆205Updated 3 months ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆174Updated this week
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆31Updated 3 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆58Updated 2 years ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 11 months 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…
  ☆202Updated 4 years ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆63Updated 3 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆28Updated last week
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆64Updated 5 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated 3 weeks ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• picty / concerto
  Toolset to analyse TLS datasets
  ☆12Updated 6 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆29Updated 4 years ago
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago
• diekmann / Iptables_Semantics
  Verified iptables Firewall Ruleset Analysis
  ☆99Updated last year
• jbangert / nail
  A practical interface generator for data formats.
  ☆128Updated 5 years ago