It’s been a while since I first wrote about the Application Checker in 2019, and here I am again. In this blog post, I’ll talk about SocrateX and XQuery too, and I’ll also show how to generate the files and databases used to analyze the code.

If you want to know more about App Checker or SocrateX, you can read these resources in addition to the post I’ve linked above: