Hacker GitHub

← All repos

colis-anr/morbig

View on GitHub ↗ ★ 203 OCaml

A static parser for POSIX Shell

5 mentions on Hacker News by 2 people: 1 story, 4 comments · first 2021-03-19 · latest 2022-03-26

Mentions per year 5 mentions · busiest year 2021 (4)
20082026
AllStoriesComments NewestTopOldest
  1. There are attempts at formal analysis of shell scripts, for eg: https://colis.irif.fr/ https://github.com/colis-anr/morbig
    comment by pabs3 · 2021-09-03 · in I interviewed Brian J. Fox, the creator of Bash
  2. …based on the Why3 platform for deductive program verification. https://www.irif.fr/~treinen/colis/ https://github.com/colis-anr/morbig https://github.com/colis-anr/lintshell Shellharden helps rewrite scripts for ShellCheck compliance:…
    comment by pabs3 · 2021-05-03 · in ShellCheck: Finds bugs in your shell scripts
  3. Morbig is another interesting shell parser project: https://github.com/colis-anr/morbig
    comment by pabs3 · 2021-04-03 · in Bash-LSP: A language server for Bash
  4. …based on the Why3 platform for deductive program verification. https://www.irif.fr/~treinen/colis/ https://github.com/colis-anr/morbig https://github.com/colis-anr/lintshell Shellharden helps rewrite scripts for ShellCheck compliance:…
    comment by pabs3 · 2021-03-19 · in ShellCheck: A static analysis tool for shell scripts