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

Enter your email address:

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
  • greg olsen 2009 calendar
  • herpes
  • la ink 03x05
  • bengals football
  • search engines usage statistics 2010
  • hp support contact number
  • new england patriots 65
  • bea karp
  • fleer
  • cspan facebook
  • battleship classes
  • galaxy
  • search engines and flash
  • orchestral
  • chad ochocinco xpchad ochocinco youtube
  • tea party lies
  • bea exhibitors
  • aura
  • bengals 09
  • zara phillips baby
  • ballad
  • search 78search 800 numbers
  • follow
  • chad ochocinco johnson
  • mtv true life
  • vince young uncle rico
  • zara phillips dating
  • bengals visits
  • cspan government shutdown
  • chicago bears 4th phase
  • bengals kids jersey
  • la ink 04x01
  • clair
  • brodie
  • bea 2011 map
  • hp support id
  • dis lyrics
  • vince young yahoo stats
  • bluebook
  • vince young dadvince young eagles
  • search engines cookiessearch engines definition
  • randy moss future
  • bengals new uniforms 2012
  • new england patriots emblem
  • stylist
  • emulation
  • mtv executivesmtv fantasy factory
  • solitaire
  • connecticut quarry
  • la ink bam margera
  • godaddy
  • greg olsen website
  • la ink show
  • grammar
  • chicago bears training camp
  • search with image
  • bengals youth jerseys
  • search in vi
  • shrew
  • randy moss mix
  • hybrid
  • dis pater
  • la ink tattoos
  • tea party hats
  • vince young to eagles
  • la ink watch online free
  • bea 460 bosch
  • onine
  • hp support hard drive replacement
  • zara phillips baby
  • immaculate
  • discjuggler
  • chicago bears garter
  • c span 2009
  • cspan question timecspan radio
  • greg olsen combine
  • greg olsen boulder
  • stocker
  • c span video contest
  • c span 4 to 5
  • hp support 530
  • seaview
  • new england patriots xxl
  • new england patriots rumors
  • fallen
  • search lsu.edu
  • chad ochocinco yesterday
  • freestyle
  • search engines questions
  • bengals games
  • connecticut state parks
  • zara phillips kids
  • bengals hard knocks episode 1
  • hp support venezuela
  • hp support monitors
  • refunds
  • battleship ipad
  • saints
  • associate
  • connecticut 5th district
  • zara phillips queen elizabeth
  • gregg olsen books
  • cinco
  • 1001
  • disassembledis boards
  • chicago bears expo 2011
  • bodyguard
  • connecticut lottery
  • schultz
  • connecticut food bank
  • zara phillips royal wedding picture
  • hp support greece
  • freida pinto 1995
  • bengals merchandise
  • new england patriots 1997 roster
  • reasons
  • c span yesterdayc span zelaya
  • baretta
  • bea 71 16
  • c span yesterdayc span zelaya
  • c span youtube obama
  • tobacco
  • hp support 2133
  • connecticut lakes
  • watches
  • bengals xxiii
  • randy moss wonderlic
  • search 5500
  • bengals undraftedbengals vs steelers
  • bea 00037
  • mtv live
  • search 32
  • vince young rumors
  • dis boards cruise
  • zara phillips school
  • chicago bears tickets
  • bench
  • disloyaldis magazine
  • connecticut 100 club
  • la ink season 6
  • connecticut juvenile training schoolconnecticut kids
  • zara phillips yachtzara phillips zimbio
  • freida pinto miral
  • freida pinto chanel
  • freida pinto plastic surgery
  • connecticut natural gas
  • new england patriots espn blog
  • tea party hobbits
  • dowel
  • hp support englandhp support forum
  • battleship 3d game
  • zara phillips guest list
  • conquest
  • bengals insider
  • hp support quick test pro
  • delegate
  • hp support error 1005
  • battleship history
  • chicago bears jewish players
  • chicago bears bleacher report
  • vince young drunk
  • mtv american idol
  • new england patriots jake locker
  • tea party texas
  • search engines non tracking
  • chad ochocinco nascar
  • chad ochocinco age
  • crafts
  • mtv 90s music videos
  • connecticut transit
  • functions
  • texting
  • la ink games online
  • dist 91
  • angular
  • new england patriots offense
  • crome
  • freida pinto zac posen
  • indexed
  • bea nipa
  • greg olsen vancouver
  • assignment
  • connecticut statutesconnecticut tigers
  • infamous
  • search domains
  • randy moss 07 08 highlights
  • greg olsen no greater love
  • newborn
  • mtv kings of leon
  • ";} ?>