PacketGuardian: A Tool for Static Detection of Packet Injection Vulnerabilities

This research paper introduces PacketGuardian, an effective static analysis tool designed to evaluate the robustness of protocol implementations against packet injection attacks. This tool supports precise context, flow, field-sensitive taint analysis, implicit flow analysis, and employs a summary-b

0 views • 23 slides