USP Electronic Research Repository

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.

Mund, Jakob and Huuck, R. and Fehnker, Ansgar and Artho, Cyrylle (2013) The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. [Conference Proceedings]

[img]
Preview
PDF
Download (656Kb) | Preview

    Abstract

    Low level data-races in multi-threaded software are hard to detect, especially when requiring exhaustiveness, speed and precision. In this work, we combine ideas from run-time verification, static analysis and model checking to balance the above requirements. In particular, we adopt a well-known dynamic race detection algorithm based on calculating lock sets to static program analysis for achieving exhaustiveness. The resulting data race candidates are in a further step investigated by model checking with respect to a formal threading model to achieve precision. Moreover, we demonstrate the effectiveness of the combined approach by a case study on the open-source TFTP server OpenTFTP, which shows the trade-off between speed and precision in our two-stage analysis.

    Item Type: Conference Proceedings
    Subjects: Q Science > QA Mathematics > QA76 Computer software
    Divisions: Faculty of Science, Technology and Environment (FSTE) > School of Computing, Information and Mathematical Sciences
    Depositing User: Ansgar Fehnker
    Date Deposited: 24 Feb 2015 11:33
    Last Modified: 22 Jun 2016 12:15
    URI: http://repository.usp.ac.fj/id/eprint/7693
    UNSPECIFIED

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...