Fade to Grey: Tuning Static Program Analysis

Ansgar Fehnker; Ralf Huuck; Sean Seefried; Michael Tapp

doi:10.1016/j.entcs.2010.08.046

Fade to Grey: Tuning Static Program Analysis

Ansgar Fehnker
, Ralf Huuck
, Sean Seefried
, Michael Tapp

Research output: Contribution to journal › Article › Academic › peer-review

6 Citations (Scopus)

76 Downloads (Pure)

Original language	English
Pages (from-to)	17-32
Number of pages	16
Journal	Electronic notes in theoretical computer science
Volume	266
DOIs	https://doi.org/10.1016/j.entcs.2010.08.046
Publication status	Published - 2010
Externally published	Yes
Event	3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009 - Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia Duration: 17 Aug 2009 → 17 Aug 2009 Conference number: 3

Keywords

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

Access to Document

10.1016/j.entcs.2010.08.046Licence: CC BY-NC-ND

Fehnker2010fadeFinal published version, 258 KBLicence: CC BY-NC-ND

Cite this

@article{db5e94f393244a52a9b856126d5e3392,

title = "Fade to Grey: Tuning Static Program Analysis",

keywords = "Source code analysis, Static analysis, C/C++, False positive reduction, Case study, Firefox",

author = "Ansgar Fehnker and Ralf Huuck and Sean Seefried and Michael Tapp",

year = "2010",

doi = "10.1016/j.entcs.2010.08.046",

language = "English",

volume = "266",

pages = "17--32",

journal = "Electronic notes in theoretical computer science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

note = "3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, TTSS ; Conference date: 17-08-2009 Through 17-08-2009",

}

TY - JOUR

T1 - Fade to Grey

T2 - 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009

AU - Fehnker, Ansgar

AU - Huuck, Ralf

AU - Seefried, Sean

AU - Tapp, Michael

N1 - Conference code: 3

PY - 2010

Y1 - 2010

KW - Source code analysis

KW - Static analysis

KW - C/C++

KW - False positive reduction

KW - Case study

KW - Firefox

U2 - 10.1016/j.entcs.2010.08.046

DO - 10.1016/j.entcs.2010.08.046

M3 - Article

SN - 1571-0661

VL - 266

SP - 17

EP - 32

JO - Electronic notes in theoretical computer science

JF - Electronic notes in theoretical computer science

Y2 - 17 August 2009 through 17 August 2009

ER -