Software Integrity Blog

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

Of languages we have examined for static analysis, Swift is the youngest and likewise seems to have the fewest design holes leading to known bug patterns.

Continue Reading...

Posted in Software Architecture & 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

We compare common defect patterns, such as “continue while false” and unreachable code, in Swift and other languages and explain how to prevent them.

Continue Reading...

Posted in Software Architecture & 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

We compare some of the simplest, most common defect patterns in Swift and other languages, such as missing breaks, stray semicolons, and equality confusion.

Continue Reading...

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