Lessons from Static Analysis on HEP Software
Presented by Axel NAUMANN on 8 Sep 2011 from 14:50 to 15:15
Type: Parallel talk
Track: Track 1: Computing Technology for Physics Research
Coverity's static analysis tool has been run on most of the LHC experiments' frameworks, as well as several of the packages provided to them (e.g. ROOT, Geant4). I will present how static analysis works and why it is complimentary to dynamic checkers like valgrind or test suites; typical issues discovered by static analysis; and lessons learned.