Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

saw-tools

saw-tools 1.5 · pkgs/by-name/sa/saw-tools/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
1.5 no newer release known to repology
Channels
master 1.5 · nixos-unstable 1.5 · nixos-26.05 1.5 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Tools for software verification and analysis
Homepage
https://tools.galois.com/saw
License
BSD-3-Clause
Platforms
2 platforms: Linux, Darwin
Main program
saw
Source provenance
binaryNativeCode
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/sa/saw-tools/package.nix:55
Maintainers
thoughtpolice, thelissimus
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Issues 0
None open.