ge-high-assurance / RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
☆20Updated last month
Related projects ⓘ
Alternatives and complementary repositories for RACK
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆40Updated 3 months ago
- DARPA CASE program☆13Updated 2 years ago
- Program analysis tools developed at Draper on the CBAT project.☆102Updated last year
- Static Analyzer and Verifier☆46Updated last month
- A collection of ready to use binary analysis tools☆55Updated 9 months ago
- DSVerifier - Digital Systems Verifier☆12Updated 5 years ago
- Assume-Guarantee REasoning Environment☆13Updated 2 weeks ago
- Symbolic Execution Engine for Boogie☆28Updated 2 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
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- KLEE / CSE Project☆43Updated 4 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆27Updated last year
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- A coverage-based software testing tool☆29Updated 3 years ago
- ☆33Updated 5 years ago
- CRETE under development☆58Updated 4 years ago
- ☆20Updated 5 years ago
- Path based Dynamic Analysis☆113Updated 7 years ago
- ☆20Updated last year
- ☆47Updated 4 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆17Updated 2 years ago
- Vine: The BitBlaze Static Analysis Component☆24Updated 10 years ago
- ☆23Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- Open Source AADL2 Tool Environment☆40Updated last month
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- BAP Plugins Repository☆57Updated 4 years ago
- Public BanditFuzz Repo☆12Updated 3 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆24Updated 4 years ago
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆24Updated 6 years ago