len-bass / dosebook
☆24Updated 10 months ago
Alternatives and similar repositories for dosebook:
Users that are interested in dosebook are comparing it to the libraries listed below
- materials about and for the classes I teach☆16Updated 3 years ago
- ☆12Updated 2 years ago
- course material for six week architecture design course☆48Updated last year
- Repository for storing code for O'Reilly book☆33Updated last year
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆72Updated 2 years ago
- ☆26Updated last year
- Symbolic range analysis for LLVM.☆10Updated 9 years ago
- Landing Page Content/Builder for MITRE Security Automation Framework☆29Updated this week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 8 months ago
- This is a C++ implementation of Graspan.☆32Updated last year
- This is java implementation of Graspan.☆20Updated last year
- Java version of the deliberately vulnerable serverless application Serverless-Goat from https://github.com/OWASP/Serverless-Goat☆12Updated 3 years ago
- Open Source Software Secure Supply Chain Framework☆236Updated 2 years ago
- This python app generates NIST 800 53 control implementation for each control and generate the CSV file.☆46Updated last year
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Updated 12 years ago
- List of SBOM Generation Tools☆23Updated last month
- A collection of DevSecOps reference architectures☆67Updated 4 years ago
- Our objective is to enable open source maintainers, contributors and end-users to understand and make decisions on the provenance of the …☆181Updated last year
- ☆13Updated 5 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated 7 months ago
- Secure Software Development Fundamentals courses (from the OpenSSF Best Practices WG)☆196Updated last month
- This repository is a collection of resources to help facilitate compliance innovation utilizing Cloud, DevSecOps and Software Factory tec…☆71Updated last year
- A fast implementation of Leiserchess AI for MIT 6.172`16 http://scrimmage.csail.mit.edu/☆12Updated 8 years ago
- A collection of DoD and Federal Government Cloud Computing Resources☆48Updated 4 years ago
- Supply Chain Integrity Model☆104Updated last year
- Tool to visualize executions of multi-threaded systems☆13Updated 4 years ago
- Data-Oriented Differential Testing of ORM Systems.☆15Updated 4 years ago
- Analysis for access-control vulnerabilities in Java Spring Security applications.☆14Updated 2 years ago
- Teaching and Learning Software Verification via SVF☆33Updated 2 weeks ago
- DEPRECATED: A set of utilities for converting and working with compliance data for viewing in the heimdall applications☆35Updated 3 years ago