Full-pipeline static reconstruction, semantic modeling, runtime correlation, and formal security-property assurance of XIGNCODE3 anti-cheat as deployed with the Black Desert client. - View it on GitHub