ge-high-assurance / RACKLinks
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
☆21Updated 4 months ago
Alternatives and similar repositories for RACK
Users that are interested in RACK are comparing it to the libraries listed below
Sorting:
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- DARPA CASE program☆13Updated 3 months ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- DSVerifier - Digital Systems Verifier☆11Updated 6 years ago
- ☆19Updated 2 years ago
- Program analysis tools developed at Draper on the CBAT project.☆104Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆29Updated 3 months ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 8 years ago
- Open-source code for RFCNLP paper.☆58Updated 2 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- ☆34Updated 6 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Updated 7 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆195Updated 2 years ago
- Static Analyzer and Verifier☆48Updated 11 months ago
- Assume-Guarantee REasoning Environment☆17Updated last month
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆38Updated last year
- Open Source AADL2 Tool Environment☆47Updated 2 weeks ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 4 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- A collection of ready to use binary analysis tools☆60Updated last year
- Sys, but no longer in Haskell☆18Updated 3 years ago
- ☆40Updated 6 years ago
- ☆13Updated 4 years ago
- CTADL is a static taint analysis tool☆46Updated 3 weeks ago
- Map2Check: Finding Software Vulnerabilities☆30Updated 4 years ago
- Source code understanding via Machine Learning techniques☆137Updated 2 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago