Fade to Grey: Tuning Static Program Analysis

Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
14 Downloads (Pure)
Original languageEnglish
Pages (from-to)17-32
Number of pages16
JournalElectronic notes in theoretical computer science
Volume266
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009 - Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia
Duration: 17 Aug 200917 Aug 2009
Conference number: 3

Keywords

  • Source code analysis
  • Static analysis
  • C/C++
  • False positive reduction
  • Case study
  • Firefox

Cite this