problems clearing cache file /home/kalimetr/www/cache/refTableSQL/87e5d1978058f547773643d047ac41cfproblems clearing cache file /home/kalimetr/www/cache/refTableSQL/8b2e883e845bd8cd8e47cc8ed7687c89problems clearing cache file /home/kalimetr/www/cache/refTableSQL/14ed25cc0598531dbc60be74e2016ebbproblems clearing cache file /home/kalimetr/www/cache/refTableSQL/924d00b2eb7a57b25dc6ceae45632c38problems clearing cache file /home/kalimetr/www/cache/refTableSQL/536351c15001767c14b2bc5722e7d364problems clearing cache file /home/kalimetr/www/cache/refTableSQL/d697892016c893e9975d64fee0c579a0 Programming error detection
 

Programming error detection

Objective

Research of possible programming errors in source files.

Justification

Some uses of the specificities of a language can lead to the introduction of bugs in the code (during the development or the maintenance phase). Their early localization allows to avoid many potential defects and to spare time during the validation and software exploitation phases.

Languages

C, C++ …

Controls

Search for the following defects:
•    Instructions without effect
•    Unreachable code
•    Empty bloc in a test
•   « break » missing in a « switch » branch
•   « default » missing in a « switch »
•    Use of the return of a procedure
•    Confusion between assignment and test
•    Comparisons of real numbers for equality or difference

Tool used

IBM Rational Logiscope RuleChecker

Material

Report identifying all dangerous construction uses in the code.