SAW (Software Analysis Workbench)
/All repositories
Overview
HEALTH SCORE
Excellent*
Partial score (2/3 categories)
62out of 65
Strong maintainer coverage. Development cadence is the only remaining gap. Security & Supply Chain is unavailable, so weights were redistributed.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent*(62/65)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 0 days.
Bus factor
19 active maintainers currently have merge rights.
Organization Diversity
Contributors span 29 organizations.
Project Achievements
Leaderboards
About
SAW (Software Analysis Workbench) is a formal verification tool that enables automated reasoning and proofs about the behavior of software, particularly focused on cryptographic implementations and low-level code. It uses symbolic simulation and automated theorem proving to verify properties of programs written in languages like C, Java, and Cryptol.
First commit
Software value
$5M
License(s)
BSD-3-Clause
Data sources
Git
GitHub