April 4, 2017 Regular Expressions Are A Declarative Language for Generating Strings
Visit usrsb.in → On Hacker News Jan 2018 – Mar 2018
Software Engineering 2Systems & Performance 1Programming Languages 1
In this article I give a brief tour of a program analysis technique called symbolic execution. As the title indicates, I aim to explain both the intuition behind the technique, and also the details of a simple implementation. My intended audience is professional programmers who have no background in program analysis.
Here’s a bit of code from Kernighan’s and Ritchie’s seminal text, The C Programming Language . I’m not sure I’d actually recommend coding this way (as written in the book, the entire program has only one comment), but it’s so darn clever and concise, I can’t help but post it. This snippet is part of a larger program…