ge-high-assurance / RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
☆20Updated last month
Alternatives and similar repositories for RACK:
Users that are interested in RACK are comparing it to the libraries listed below
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 5 months ago
- DARPA CASE program☆13Updated 2 years ago
- Universal CPS Environment for Federation☆19Updated 2 years ago
- DSVerifier - Digital Systems Verifier☆12Updated 5 years ago
- A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…☆16Updated 6 years ago
- ANTLR 3 fuzzy parser☆48Updated 12 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Static Analysis Framework for Android Hybrid Applications☆24Updated 4 years ago
- ☆23Updated 2 years ago
- Program analysis tools developed at Draper on the CBAT project.☆102Updated last year
- Assume-Guarantee REasoning Environment☆14Updated this week
- Symbolic Execution Engine for Boogie☆28Updated 3 years ago
- The collection of programs for evaluating fuzzing techniques☆20Updated 7 years ago
- A collection of ready to use binary analysis tools☆55Updated 11 months ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago
- Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators☆31Updated 8 years ago
- DEPRECATED avatar-panda repository; please use https://github.com/panda-re/panda☆13Updated 3 years ago
- Avatar² examples showcased in "Avatar²: A Multi-target Orchestration Platform"☆18Updated 6 years ago
- libfuzzerfication - fuzzing for the rest of us!☆62Updated 8 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated 10 months ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- Sys, but no longer in Haskell☆18Updated 2 years ago
- ☆25Updated 6 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆67Updated 11 years ago
- Protocol Inspection and State Machine Analysis☆24Updated 6 years ago
- ☆15Updated 5 years ago