SECR 2009 is over. To learn about current SECR please visit www.cee-secr.org.
Important dates
October 26, 27, 30: CMMI training in Russian

October 27: Banking Day and other Collocated Events

October 28-29: main conference and SQA Days
Our sponsors

Adobe

Premium sponsor


Intel

Premium sponsor


Microsoft

Premium sponsor


Exigen Services

Gold sponsor


IBM

Gold sponsor


EMC

Silver sponsor


iCarnegie

Sponsor

Automatic Defect Detection in Industrial C/C++ Software

Vladimir Itsykson, Mihail Moiseev, Vadim Cesko, Alexey Zaharov


Abstract
Vladimir Itsykson

Vladimir Itsykson

The solution to the problem of automatic defects detection in industrial software is covered in this paper. The results of the experiments with the existing tools are presented. These results stand for inadequate efficiency of the implemented analysis. Existing source code static analysis methods and defects detection algorithms are covered. The program model and the analysis algorithms based on existing approaches are proposed. The problems of co-execution of different analysis algorithms are explored. The means for improvement of analysis precision and algorithms performance are proposed.

Advantages of the approaches developed are soundness of a solution, full support of the features of target programming languages and analysis of the programs lacking full source code using annotations mechanism. The algorithms proposed in the paper are implemented in the automatic defects detection tool.

« Previous Regular talk All Regular talks Next Regular talk »

Keynotes Invited talks Workshops Types of presentations

All talks sorted by author name All talks sorted by company name

IEEEIEEE Computer SocietyTCSEIEEE Moscow Center
TEKAMA HSE RUSSOFT AP KIT
SQALAB Infopark A-SYS Ukrainian Hi-Tech Initiative
INTSPEI IT Ukraine
Adobe Intel Microsoft
Exigen Services
EMC
iCarnegie