GaloisInc

saw-script

Recently maintained

The Software Analysis Workbench

Stars
525

Community interest

Forks
85

Community forks

7-day growth
+3

Observed snapshot change

Language
Haskell

Repository metadata

Star history & growth

Observed snapshots only. Missing observations are not invented.

525 ★49 observations
2026-08-102026-11-03
Inspect recent observations
DateStars
2026-10-05518
2026-10-06518
2026-10-07518
2026-10-08518
2026-10-09519
2026-10-10520
2026-10-11521
2026-10-12521
2026-10-13521
2026-10-14521
2026-10-15521
2026-10-16521
2026-10-17521
2026-10-18521
2026-10-19521
2026-10-20521
2026-10-21522
2026-10-22522
2026-10-23522
2026-10-24522
2026-10-25522
2026-10-26522
2026-10-27522
2026-10-28522
2026-10-29522
2026-10-30522
2026-10-31522
2026-11-01524
2026-11-02525
2026-11-03525

Get the source & start here

Cloning downloads source; follow official setup and dependency instructions.

git clone https://github.com/GaloisInc/saw-script.git
READMEgithub.dev

About this project

What is saw-script?

The Software Analysis Workbench

How do I get started?

Clone with git clone https://github.com/GaloisInc/saw-script.git. Cloning is not a complete installation; follow the official README for dependencies, hosts and usage.

Can I use it commercially?

Current license information: BSD-3-Clause. Review the original terms, dependencies and your intended use.

What do maintenance and growth indicate?

Current status: Recently maintained. Activity is not a security audit. Growth uses collected snapshots; missing baselines are not estimated.