checkbashisms

swMATH43573MaRDI QIDQ5974170FDOQ5974170

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: https://sourceforge.net/projects/checkbaskisms/

(3)

• A formally verified interpreter for a shell-like programming language
• CoLiS
• Shellcheck

This page was built for software: checkbashisms