Remember when I said we need formally verified adventure games? Well, I wrote one: http://svn.clifford.at/handicraft/2017/tttm/ … (see README for details)https://twitter.com/oe1cxw/status/850861311709851650 …
-
The focus of this work is on verifying that the game itself is free of dead ends. There are other methods to catch things like UB.
Have a look at this blog post on the Thimbleweed Park Dev Blog. This are the kind of problems I'm trying to detect: https://blog.thimbleweedpark.com/patch_notes