David Vitek

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 2

Top Topics

Penetration Testing

Security Vulnerabilities

Top Venues

Publications

Paul Anderson, Lucja Kot, Neil Gilmore, David Vitek
SARIF-enabled tooling to encourage gradual technical debt reduction. TechDebt@ICSE (2019)
David Vitek
Auditing Code for Security Vulnerabilities with CodeSonar. SecDev (2016)
Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek
Buffer overrun detection using linear programming and static analysis. CCS (2003)