QA-C
Encyclopedia
QA-C is a commercial static code analysis
software tool produced by Programming Research for the C language created in 1986.
This is the tool that was used to make the C source code
measurements given in the book Safer C by Les Hatton
:
QA-C can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as MISRA C
. Other functionality includes the ability to calculate code metric
s for projects with large code-bases.
The tools operate through an IDE
designed to help maintain and understand old and new code using detailed cross references and a variety of graphical views.
The tools can be used in command line too. Graphical IDE can be called to display the result.
Static code analysis
Static program analysis is the analysis of computer software that is performed without actually executing programs built from that software In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code...
software tool produced by Programming Research for the C language created in 1986.
This is the tool that was used to make the C source code
Source code
In computer science, source code is text written using the format and syntax of the programming language that it is being written in. Such a language is specially designed to facilitate the work of computer programmers, who specify the actions to be performed by a computer mostly by writing source...
measurements given in the book Safer C by Les Hatton
Les Hatton
Les Hatton is a British-born computer scientist and mathematician most notable for his work in failures and vulnerabilities in software controlled systems....
:
- Hatton, L., "Safer C: Developing Software in High-Integrity and Safety-Critical Systems", McGraw-Hill (1995), ISBN 0-07-707640-0
QA-C can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as MISRA C
MISRA C
MISRA C is a software development standard for the C programming language developed by MISRA . Its aims are to facilitate code safety, portability and reliability in the context of embedded systems, specifically those systems programmed in ISO C...
. Other functionality includes the ability to calculate code metric
Software metric
A software metric is a measure of some property of a piece of software or its specifications. Since quantitative measurements are essential in all sciences, there is a continuous effort by computer science practitioners and theoreticians to bring similar approaches to software development...
s for projects with large code-bases.
The tools operate through an IDE
Integrated development environment
An integrated development environment is a software application that provides comprehensive facilities to computer programmers for software development...
designed to help maintain and understand old and new code using detailed cross references and a variety of graphical views.
The tools can be used in command line too. Graphical IDE can be called to display the result.