↧
First Look at CDT Code Analysis
Recently, I have been looking at Static Code Analysis for the Eclipse CDT. This allows for quick detection of potential coding problems without requiring a potentially long compile or running the...
View ArticleProperty Simulation – a new model for CDT’s Static Analysis
Several months ago, I discovered the need for improvements with Eclipse CDT’s static analysis. Namely, we need an analysis model that correctly accounts for control flow paths of a program. To test the...
View ArticleProperty Simulation – a new model for CDT’s Static Analysis (Part 2)
In the previous entry, I covered the details and motivation behind using Property Simulation for the CDT’s static analysis. Now we will move onto the implementation details. The first thing we needed...
View Article