Visualizing Type Qualifier Inference with Eclipse
Workshop on Eclipse Technology eXchange, pages 57-61. Vancouver,
British Columbia, Canada. October 2004.
Type qualifiers are a lightweight, practical mechanism for specifying and checking program properties. In previous work, we have developed CQual, a tool for adding type qualifiers to C. In this short article, we describe an Eclipse plug-in for CQual that allows programmers to visualize the results of CQual's type qualifier inference and thereby quickly understand and resolve potential programming errors.
[ pdf ]