This article has moved to https://joesec.me/articles/datalog-for-agent-security-analysis/.