Alternatives and similar repositories for fws:

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

• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆211Updated 2 weeks ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• secgroup / Mignis
  Mignis is a semantic based tool for firewall configuration.
  ☆42Updated 5 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• eqv / hexslides
  An opinionated tool to create amazing presentations
  ☆36Updated last year
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆72Updated 2 years ago
• BinaryAnalysisPlatform / bap-toolkit
  A collection of ready to use binary analysis tools
  ☆55Updated 11 months ago
• travitch / build-bom
  Dynamically discover the commands used to create a piece of software
  ☆47Updated 2 months ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆16Updated last year
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆102Updated last year
• axt / bingraphvis
  ☆43Updated 2 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆74Updated 3 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• binsec / Rel
  Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…
  ☆33Updated last year
• SVL-PSU / crete-dev
  CRETE under development
  ☆59Updated 4 years ago
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated 11 months ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆72Updated 7 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 4 years ago
• sangkilc / ofuzz
  Fuzzing framework written in OCaml
  ☆31Updated 8 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• hdc-arizona / cfgexplorer
  Interactive Control Flow Graph Visualization.
  ☆31Updated 3 years ago
• s3team / Amoeba
  Amoeba: Binary Code Diverisfication through Composite Software Diversification
  ☆10Updated 7 years ago
• ucla-pls / jreduce
  JReduce is a tool to reduce Java ByteCode
  ☆12Updated 3 years ago
• uw-unsat / serval-tutorial-sosp19
  ☆13Updated 5 years ago
• BinaryAnalysisPlatform / bap-veri
  bil verification tool
  ☆12Updated 2 years ago