Bourne shell abstract interpreter

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

5 earlier thoughts


Philipp Emanuel Weidmann's maybe (2016) is another interesting take: it executes shell scripts (or other executables) under ptrace, to intercept, log, and stub file system operations.

This implementation offers little safety and robustness, but it's a step toward what an abstract interpretation based execution previewer and modifier might look like.