News for hackers. Stuff that matters.

A comment on I interviewed Brian J. Fox, the creator of Bash. Parent comment

Re:I interviewed Brian J. Fox, the creator of Bash by pabs3 on Friday September 03, 2021 @12:17AM (#28400366)
There are attempts at formal analysis of shell scripts, for eg:

https://colis.irif.fr/ https://github.com/colis-anr/morbig

[ Parent | on HN ]

There are no comments on this comment yet.