secgroup / fwsLinks
Language-independent Synthesis of Firewall Policies
☆25Updated 2 years ago
Alternatives and similar repositories for fws
Users that are interested in fws are comparing it to the libraries listed below
Sorting:
- Mignis is a semantic based tool for firewall configuration.☆42Updated 6 years ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- 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
- CRETE under development☆59Updated 4 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆61Updated 2 years ago
- The BAP tutorial☆72Updated 2 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- A tool that can be used to learn state machines from implementations.☆65Updated 4 years ago
- Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )☆41Updated 4 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- ☆24Updated 6 years ago
- A collection of ready to use binary analysis tools☆59Updated last year
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Updated 7 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- ☆35Updated 8 years ago
- ☆39Updated 6 years ago
- ☆43Updated 3 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆51Updated 4 months ago
- KLEE / CSE Project☆45Updated 5 years ago
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- Measure branching along code paths☆20Updated 8 years ago
- BAP Plugins Repository☆57Updated 4 years ago
- Timeless debugging with symbolic execution and processor trace☆76Updated 4 years ago
- A prototype system call fuzzer.☆14Updated 8 years ago
- Python concolic execution framework for program analysis☆66Updated 10 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 7 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 3 years ago