Descrição
Propriedades de software podem ser analisadas e verificadas por uma versão git do Software Analysis Workbench. É para análise autorizada de código e fluxos de métodos formais.
FICHA · AUR
saw-script-git
Workbench git de análise de software
- software analysis workbench
- Linha de comando
- FORMAL-METHODS
- CODE-ANALYSIS
- Abre direto
- Roda no terminal
codex · reviewed · 4 de jun. de 2026 descrição em
pt-br · fallback Como rodar
saw
Comandos: saw
Permissões
Permissões ainda não analisadas para esta fonte.