Software Integrity

Author Archive

Peter Dillinger

pdillinger

After graduate work at Georgia Tech and earning a Ph.D. at Northeastern, Peter Dillinger joined Coverity in 2009 with a focus on Java static analysis. Peter quickly became a lead engineer in unifying the Java, C#, and C++ analysis engines. He made key contributions to initial support for web app security analysis and JavaScript analysis. Since Synopsys acquired Coverity in 2014, Peter has become a manager in the Seattle office, leading initial static analysis support for PHP, Python, Ruby, and now Swift, but occasionally finding time to design and implement new checkers.


Posts by Peter Dillinger:

 

Swift: Close to greatness in programming language design, Part 3

Welcome back Ahead of Coverity Static Analysis support for the Swift programming language, we are examining design decisions in the language from the perspective of defect patterns detectable with static analysis. Before digging into Part 3, I recommend reading Part 1 and Part 2 in this series if you have not already. Defect patterns part […]

Continue Reading...

Posted in Software Architecture and Design, Static Analysis (SAST) | Comments Off on Swift: Close to greatness in programming language design, Part 3

 

Swift: Close to greatness in programming language design, Part 2

Ahead of Coverity Static Analysis support for the Swift programming language, we are examining design decisions in the language from the perspective of defect patterns detectable with static analysis. To kick things off, I recommend reading Part 1 in this series if you have not already. Defect patterns continued: More basics Now we consider additional […]

Continue Reading...

Posted in Software Architecture and Design, Static Analysis (SAST) | Comments Off on Swift: Close to greatness in programming language design, Part 2

 

Swift: Close to greatness in programming language design, Part 1

As we are taking our first steps toward a Static Analysis solution for the Swift programming language, I am discovering one of the most challenging languages yet for Coverity. This is simply because many of the easy-to-make, easy-to-find mistakes in other programming languages were designed to be difficult or impossible in Swift. However, some mistakes that […]

Continue Reading...

Posted in Software Architecture and Design, Static Analysis (SAST) | Comments Off on Swift: Close to greatness in programming language design, Part 1