Bourne shell abstract interpreter

by pjdelport

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

4 earlier thoughts

0

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.

created April 30, 2016, 11:57 p.m.

1 later thought

Keyboard Help

Keyboard navigation

  • ? This help dialog
  • c Compose a new Thought
  • g Compose a new General Thought
  • j or ← View previous card in stream
  • k or → View next card in stream
  • p View card details in presentation mode
  • s Go to stream detail from card detail
  • ctrl + enter Publish card currently being created
  • alt + enter Save card in draft status that is currently being created.
  • esc Close an open modal