Description
Software properties can be analyzed and verified from a git build of the Software Analysis Workbench. It is for authorized code analysis and formal-methods workflows.
FICHA · AUR
saw-script-git
The Software Analysis Workbench
- software analysis workbench
- CLI
- FORMAL-METHODS
- CODE-ANALYSIS
- Launchable
- Runs in terminal
official+codex · reviewed · Jun 4, 2026 description in
en How to run
saw
Commands: saw
Permissions
Permissions not analysed for this source yet.