Author here, happy to answer any questions.

While some of the underlying functionality is based on Encore’s static analysis, the approach is quite general and can be adapted to lots of situations and programming languages. The overall code ended up being a couple hundred lines, not more.