Author here! I work in/study static analysis, so "running the program" would be entirely defeating the fun ;)