Next: Introduction
Gasta Homepage: Home page
Gcc Abstract Syntax Tree Analysis
Gasta User's guide
Guillaume Thouvenin
guillaume.thouvenin@polymtl.ca
Electrical and Computer Eng. Dept.
École Polytechnique
Montreal, Qc, Canada
Abstract:
LCLint is a static analyzer for C which allows the detection of errors during
the memory management [2]. Those errors can be, for example, dereferenciation of a
possibly null pointer, inconsistent use of global variables or memory leaks.
LCLint is a powerful tool because it uses the annotations to describe the behaviour
of functions, variables, parameters or types. One of the limitation of this tool is
that annotations are added by the programmer and, without annotations, LCLint can
produce many false alarms. So, when using legacy code, to have a good analysis with
LCLint, you need to pass through the code and understand how it works. After that,
you need to annotate it and then use LCLint. Thus, if you just want to have information
about the quality of a program without studying each details, a tool wich
annotates the code would be useful. Our goal with Gasta is to offer this tool
to developpers.
Guillaume Thouvenin
2001-10-01