Bourne shell abstract interpreter

6 thoughts
last posted May 1, 2016, 2:53 a.m.

4 earlier thoughts


There is at least one academic implementation of abstract interpretation for Bash:

This work is oriented toward static analysis and finding bugs, but the techniques could probably be repurposed for use in an interactive evaluator.

1 later thought