CodeQL and Binary Ninja scripts to accompany the blog post - View it on GitHub