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 ]
@INPROCEEDINGS{greenfieldboyce04eclipse,
TITLE = {Visualizing Type Qualifier Inference with {Eclipse}},
AUTHOR = {David GreenfieldBoyce and Jeffrey S. Foster},
BOOKTITLE = {Proceedings of the Eclipse Technology eXchange (eTX)},
PAGES = {57--61},
WHERE = {Vancouver, British Columbia, Canada},
MONTH = OCT,
YEAR = 2004
}