David Korczynski

David 是 Ada Logics 的一名安全研究员。他专注于安全自动化和程序分析技术，包括模糊测试、符号执行和静态分析技术。要了解更多关于他的作品，请访问 https://adalogics.com