{"controller"=>"catalog", "action"=>"show", "id"=>"234055071"}
  • EN
  • DA

Danish NationalResearch Database

  • Search Publications & Researchers
  • Open Access Indicator
  • Publications
  • Researchers
Example Finds records
water{} containing the word "water".
water supplies"{}" containing the phrase "water supplies".
author:"Doe, John"author:"{}" containing the prase "Doe, John" in the author field.
title:IEEEtitle:{} containing the word "IEEE" in the title field.
Need more help? Advanced search tutorial
  • Selected (0)
  • History

WYSIWIB

    • Save to Mendeley
    • Export to BibTeX
    • Export to RIS
    • Email citation
Authors:
  • Lawall, Julia ;
    Close
    Department of Computer Science, Faculty of Science, Københavns Universitet
  • Brunel, Julien Pierre Manuel ;
    Close
    Department of Computer Science, Faculty of Science, Københavns Universitet
  • Palix, Nicolas Jean-Michel ;
    Close
    Department of Computer Science, Faculty of Science, Københavns Universitet
  • Hansen, Rene Rydhof ;
    Close
    Aalborg University
  • Stuart, Henrik ;
    Close
    Datalogisk Institut, Københavns Universitet
  • Muller, Gilles
    Close
    INRIA/LIP6
Subtitle:
exploiting fine-grained program structure in a scriptable API-usage protocol-finding process
DOI:
10.1002/spe.2102
Abstract:
Bug-finding tools rely on specifications of what is correct or incorrect code. As it is difficult for a tool developer or user to anticipate all possible specifications, strategies for inferring specifications have been proposed. These strategies obtain probable specifications by observing common characteristics of code or execution traces, typically focusing on sequences of function calls. To counter the observed high rate of false positives, heuristics have been proposed for ranking or pruning the results. These heuristics, however, can result in false negatives, especially for rarely used functions. In this paper, we propose an alternate approach to specification inference, in which the user guides the inference process using patterns of code that reflect the user's understanding of the conventions and design of the targeted software project. We focus on specifications describing the correct usage of API functions, which we refer to as API protocols. Our approach builds on the Coccinelle program matching and transformation tool, which allows a user to construct patterns that reflect the structure of the code to be matched. We evaluate our approach on the source code of the Linux kernel, which defines a very large number of API functions with varying properties. Linux is also critical software, implying that fixing even bugs involving rarely used protocols is essential. In our experiments, we use our approach to find over 3000 potential API protocols, with an estimated false positive rate of under 15% and use these protocols to find over 360 bugs in the use of API functions. Copyright (c) 2012 John Wiley Sons, Ltd.
Type:
Conference paper
Language:
English
Published in:
Software: Practice and Experience, 2013, Vol 43, Issue 1, p. 67-92
Keywords:
Linux; bug finding; program analysis
Main Research Area:
Science/technology
Publication Status:
Published
Review type:
Peer Review
Conference:
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 2013
Submission year:
2013
Scientific Level:
Scientific
ID:
234055071

Full text access

  • Doi Get publisher edition via DOI resolver
Checking for on-site access...

On-site access

At institutions

  • Copenhagen university.en
  • Aalborg university.en

Metrics

Feedback

Sitemap

  • Search
    • Statistics
    • Tutorial
    • Data
    • FAQ
    • Contact
  • Open Access
    • Overview
    • Development
    • FAQ
    • Contact
  • About
    • Institutions
    • Release History
    • Cookies and privacy policy

Copyright © 1998–2018.

Fivu en