Linked Presentation: A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is HardAtropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities