Quantcast
Channel: Elliott Baron's Blog » Eclipse
Browsing all 3 articles
Browse latest View live

Image may be NSFW.
Clik here to view.

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 Article



Image may be NSFW.
Clik here to view.

Property 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 Article

Image may be NSFW.
Clik here to view.

Property 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
Browsing all 3 articles
Browse latest View live




Latest Images