Adding similar features and bug fixes often requires porting program patches from reference implementations and adapting them to target implementations. Porting errors may result from faulty adaptations or inconsistent updates. This paper investigates (1) the types of porting errors found in practice, and (2) how to detect and characterize potential porting errors. Analyzing version histories, we define five categories of porting errors, including incorrect control- and data-flow, code redundancy, inconsistent identifier renamings, etc. Leveraging this categorization, we design a static control- and data-dependence analysis technique, SPA, to detect and characterize porting inconsistencies. Our evaluation on code from four open-source projects shows that SPA can detect porting inconsistencies with 65% to 73% precision and 90% recall, and identify inconsistency types with 58% to 63% precision and 92% to 100% recall. In a comparison with two existing error detection tools, SPA improves precision by 14 to 17 percentage points.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Detecting and characterizing semantic inconsistencies in ported code


    Contributors:


    Publication date :

    2013-11-01


    Size :

    393340 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    B. Ray / M. Kim / S. Person et al. | NTIS | 2013


    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    Ray, Baishakhi / Kim, Miryung / Person,Suzette et al. | NTRS | 2013


    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    Ray, Baishakhi / Kim, Miryung / Person, Suzette J. et al. | NTRS | 2013


    Detecting and Characterizing Semantic Inconsistencies in Ported Code

    B Ray / M Kim / J.S Person et al. | NTIS | 2013