Presentation is loading. Please wait.

Presentation is loading. Please wait.

Baishakhi Ray *, Miryung Kim *, Suzette Person +, Neha Rungta ! * The University of Texas at Austin + NASA Langley Research Center ! NASA Ames Research.

Published byClementine Griffith Modified over 9 years ago

Similar presentations

Presentation on theme: "Baishakhi Ray *, Miryung Kim *, Suzette Person +, Neha Rungta ! * The University of Texas at Austin + NASA Langley Research Center ! NASA Ames Research."— Presentation transcript:

1 Baishakhi Ray *, Miryung Kim *, Suzette Person +, Neha Rungta ! * The University of Texas at Austin + NASA Langley Research Center ! NASA Ames Research Center

2  Port code from a reference to a target implementation. [Ray et al., Al-Ekram et al., Kim et al.]  Adapt ported changes to fit the target context. [Kim et al.]  Faulty adaptation often leads to porting-error. [Chou et al., Juergens et al., Li et al., Jiang et al.]. 2 reference target

3  Empirical study of porting errors  Classification scheme for porting errors  SPA: Semantic Porting Analysis  Evaluation  Conclusion 3

4 Reference: ExportMemoryDialog.java if(!containsKey(IMemoryExporter)) setProperty(IMemoryExporter); Original Target: ImportMemoryDialog.java if(!containsKey(IMemoryExporter)) setProperty(IMemoryExporter); Fixed Target: ImportMemoryDialog.java if(!containsKey(IMemoryImporter)) setProperty(IMemoryImporter); porting fix

5 Reference: ExportMemoryDialog.java if(!containsKey(IMemoryExporter)) setProperty(IMemoryExporter); Original Target: ImportMemoryDialog.java if(!containsKey(IMemoryExporter)) setProperty(IMemoryExporter); Fixed Target: ImportMemoryDialog.java Log:Fix copy&paste error in last commit if(!containsKey(IMemoryImporter)) setProperty(IMemoryImporter); git blame Repertoire [Ray et al.]

6 6 KLOCDevelopersYearsTotal FreeBSD4,47940518113 Linux14,99868393182 Developers frequently introduce porting errors in the codebase.

7  Empirical study of porting errors  Classification scheme for porting errors  SPA: Semantic Porting Analysis  Evaluation  Conclusion 7

8 ReferenceTarget for(p..) { for(kg..) {... + if (ke->ke_cpticks == 0) + continue;.... } for(p) { … + if (ke->ke_cpticks == 0) + continue; … } 8

9 ReferenceTarget... + bp->b_flags |= B_ASYNC; + bp->b_flags &= ~B_INVAL;... + VOP_STRATEGY(vp, bp); …... + rabp->b_flags |= B_ASYNC; + rabp->b_flags &= ~B_INVAL;... + VOP_STRATEGY(vp, bp); … 9

10 ReferenceTarget... + if (INDEX < lowest_ofdm) + ofdm |= RATE >> OFDM_RATE;... + if (INDEX < lowest_ofdm) + ofdm |= RATE >> CCK_RATE;... 10

11 ReferenceTarget while ((ch = getopt(argc, argv,...)) != -1) … switch (ch) {... + case 'o': + if (strcmp(optarg, "space") == 0) { + opt = FS_OPTSPACE; … parse_uuid(const char *s, uuid_t *uuid) {... switch (*s) … + case 'e': + if (strcmp(optarg, "efi") == 0) { + uuid_t efi = GPT_ENT_TYPE_EFI; … 11

12 ReferenceTarget memset(&tsf_tlv, …));... + memcpy(*buffer, &tsf_tlv); memcpy(*buffer, &tsf_val); memcpy(&tsf_val, time_stamp, …);.. + memcpy(*buffer, &tsf_val); 12

13 13 FreeBSDLinux Total113182 Inconsistent Control Flow 8%13% Inconsistent Renaming 48%41% Inconsistent Data Flow 28%14% Redundant Operations 12%26% Other25%14%

14  Empirical study of porting errors  Classification scheme for porting errors  SPA: Semantic Porting Analysis  Evaluation  Conclusion 14

15  Input: Reference and Target patches  Analyze the semantic differences between ported edits in reference and target context.  Output: Types of potential porting inconsistencies 15

16 16 ReferenceTarget R(int flags, int bufsize, ostatfs osb) { R1. + cnt = bufsize /size(ostatfs); R2. + size = cnt + size(ostatfs); R3. + err = copy(osb, sp, size); R4. return error ; } T(int flags, int bufsize, stat osb) { T1. if (flags == 3) { return 0; } T2. + cnt = bufsize /size(ostatfs); T3. + size = cnt + size(stat); T4. + if(size) T5. + buf = new stat(); T6. + err = copy(osb, buf, size); T7. + err = copy(osb, buf, size); T8. return (err); }

17 17 Reference + cnt =.. + size =.. + err =.. ret err method_decl Target + cnt =.. + size =.. + err =.. err =.. method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T

18 18 Reference + cnt =.. + size =.. + err =.. ret err method_decl Target + cnt =.. + size =.. + err =.. err =.. method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T

19 19 Reference + cnt =.. + size =.. + err =.. ret err method_decl Target + cnt =.. + size =.. + err =.. err =.. method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T

20 20 Reference + cnt =.. + size =.. + err =.. ret err method_decl Target + cnt =.. + size =.. + err =.. err =.. method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T

21 21 ReferenceTarget R(int flags, int bufsize, ostatfs osb) { R1. + cnt = bufsize /size(ostatfs); R2. + size = cnt + size(ostatfs); R3. + err = copy(osb, sp, size); R4. return error ; } T(int flags, int bufsize, stat osb) { T1. if (flags == 3) { return 0; } T2. + cnt = bufsize /size(ostatfs); T3. + size = cnt + size(stat); T4. + if(size) T5. + buf = new stat(); T6. + err = copy(osb, buf, size); T7. + err = copy(osb, buf, size); T8. return (err); }

22 22 Reference + cnt =.. + size =.. + err =.. ret err method_decl Target + cnt =.. + size =.. + err =.. err =.. method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T - R2. size = cnt + size(ostatfs); - T3. size = cnt + size(stat); - R1. cnt = bufsize /size(ostatfs); - T2. cnt = bufsize / size(ostatfs);

23 23 ReferenceTarget R(int flags, int bufsize, ostatfs osb) { R1. + cnt = bufsize /size(ostatfs); R2. + size = cnt + size(ostatfs); R3. + err = copy(osb, sp, size); R4. return error ; } T(int flags, int bufsize, stat osb) { T1. if (flags == 3) { return 0; } T2. + cnt = bufsize /size(ostatfs); T3. + size = cnt + size(stat); T4. + if(size) T5. + buf = new stat(); T6. + err = copy(osb, buf, size); T7. + err = copy(osb, buf, size); T8. return (err); }

24 24 Reference + cnt =.. + size =.. + err =.. ret err method_decl Target + cnt =.. + size =.. + err =.. err =.. method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T

25 25 ReferenceTarget R(int flags, int bufsize, ostatfs osb) { R1. + cnt = bufsize /size(ostatfs); R2. + size = cnt + size(ostatfs); R3. + err = copy(osb, sp, size); R4. return error ; } T(int flags, int bufsize, stat osb) { T1. if (flags == 3) { return 0; } T2. + cnt = bufsize /size(ostatfs); T3. + size = cnt + size(stat); T4. + if(size) T5. + buf = new stat(); T6. + err = copy(osb, buf, size); T7. + err = copy(osb, buf, size); T8. return (err); }

26 26 Target + cnt =.. + size =.. + err = copy() err = copy() method_decl if (flags == 3) ret 0 ret err + if (size) + buf =.. F T T

27 27 ReferenceTarget R(int flags, int bufsize, ostatfs osb) { R1. + cnt = bufsize /size(ostatfs); R2. + size = cnt + size(ostatfs); R3. + err = copy(osb, sp, size); R4. return error ; } T(int flags, int bufsize, stat osb) { T1. if (flags == 3) { return 0; } T2. + cnt = bufsize /size(ostatfs); T3. + size = cnt + size(stat); T4. + if(size) T5. + buf = new stat(); T6. + err = copy(osb, buf, size); T7. + err = copy(osb, buf, size); T8. return (err); }

28  Empirical study of porting errors  Classification scheme for porting errors  SPA: Semantic Porting Analysis  Evaluation  Conclusion 28

29  RQ1. Can SPA accurately detect porting inconsistencies?  RQ2. Can SPA accurately categorize porting inconsistencies? Implementation  Java static analysis framework  Extends LASE, Sydit [Meng et al], and uses Crystal [Aldrich et al] 29

30 30 ReferenceTarget x = 5 + foo(x) x = x + y x = 5 + foo(x) ✔ SPA correctly reports No Inconsistency ReferenceTarget for(i=0; i < n;) { + foo(i) i++; } i = o; while(i<n) { + foo(i) i++; } ✖ SPA incorrectly reports Inconsistency

31 Eclipse CDTMozilla SPA Total6342 Detected4334 False positive159 False negative 3- 31 SPA detects inconsistencies with 65% to 73% precision and 90% recall.

32 32 SPA improves precision by 14 to 17 percentage points w.r.t. earlier tools.

33 33 Incnst Control Flow Incnst Identifier Renaming Incnst Related Identifier Renaming Incnst Data Flow Total Detected33751762 Ground Truth 2374539 False positive 1222 26 False negative 22103

34 34 ReferenceTarget int x; x = 5; + foo(x) int x = 5; + foo(x) ✖ SPA incorrectly reports as Inconsistent data flow.

35 35 Incnst Control Flow Incnst Identifier Renaming Incnst Related Identifier Renaming Incnst Data Flow Total SPA33751762 Ground Truth 2374539 False positive 1222 26 False negative 22103 SPA categorizes inconsistencies with 58% to 63% precision and 92% to 100% recall.

36  Study different types of porting errors in practice.  Detect and categorize potential porting errors successfully. Future Work  Integrate SPA with an integrated development environment (IDE).  Investigate other complementary approaches to detect porting errors. 36

37 Baishakhi Ray *, Miryung Kim *, Suzette Person +, Neha Rungta ! * The University of Texas at Austin + NASA Langley Research Center ! NASA Ames Research Center

38 We thank Na Meng for the discussions and help to design and implement SPA. Google Summer Code 2012. Supported by National Science Foundation grants: CCF- 1149391, CCF-1117902, SHF-0910818, and CNS-1239498. 38

39 Eclipse CDTMozilla SPAJiang’s ToolSPADejavu Detected43563442 False positive1529917 False negative 34-- 39 SPA detects inconsistencies with 65% to 73% precision and 90% recall. SPA improves precision by 14 to 17 percentage points w.r.t. earlier tools.

Download ppt "Baishakhi Ray *, Miryung Kim *, Suzette Person +, Neha Rungta ! * The University of Texas at Austin + NASA Langley Research Center ! NASA Ames Research."

Similar presentations

Author: Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball MIT CSAIL.

Author: Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball MIT CSAIL.
Abstraction and Modular Reasoning for the Verification of Software Corina Pasareanu NASA Ames Research Center.

Abstraction and Modular Reasoning for the Verification of Software Corina Pasareanu NASA Ames Research Center.
IBinHunt: Binary Hunting with Inter-Procedural Control Flow Jiang Ming, Meng Pan, and Debin Gao College of Information Sciences and Technology, Penn State.

IBinHunt: Binary Hunting with Inter-Procedural Control Flow Jiang Ming, Meng Pan, and Debin Gao College of Information Sciences and Technology, Penn State.
Computer Sciences Department University of Wisconsin - Madison ICSM 2013 Eindhoven, Netherlands September 24, 2013 Mining Software Repositories for Accurate.

Computer Sciences Department University of Wisconsin - Madison ICSM 2013 Eindhoven, Netherlands September 24, 2013 Mining Software Repositories for Accurate.
Automated creation of verification models for C-programs Yury Yusupov Saint-Petersburg State Polytechnic University The Second Spring Young Researchers.

Automated creation of verification models for C-programs Yury Yusupov Saint-Petersburg State Polytechnic University The Second Spring Young Researchers.
Validating High-Level Synthesis Sudipta Kundu, Sorin Lerner, Rajesh Gupta Department of Computer Science and Engineering, University of California, San.

Validating High-Level Synthesis Sudipta Kundu, Sorin Lerner, Rajesh Gupta Department of Computer Science and Engineering, University of California, San.
Model Driven Integrated Development Environment Barak Agiv Itamar Ben-Zaken Vladislav Smolensky Academic Advisor: Yuval Elovici Professional Advisor: Mira.

Model Driven Integrated Development Environment Barak Agiv Itamar Ben-Zaken Vladislav Smolensky Academic Advisor: Yuval Elovici Professional Advisor: Mira.
ISSRE 2006 | November 10, 2006 Automated Adaptive Ranking and Filtering of Static Analysis Alerts Sarah Heckman Laurie Williams November 10, 2006.

ISSRE 2006 | November 10, 2006 Automated Adaptive Ranking and Filtering of Static Analysis Alerts Sarah Heckman Laurie Williams November 10, 2006.
Copyright © 2009 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Java Software Solutions Foundations of Program Design Sixth Edition by Lewis.

Copyright © 2009 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Java Software Solutions Foundations of Program Design Sixth Edition by Lewis.
1CMSC 345, Version 4/04 Verification and Validation Reference: Software Engineering, Ian Sommerville, 6th edition, Chapter 19.

1CMSC 345, Version 4/04 Verification and Validation Reference: Software Engineering, Ian Sommerville, 6th edition, Chapter 19.
Eclipse as a Teaching Platform for Kenya Student: Thomas Timbul (MEng 4) Supervised by: Robert Chatley.

Eclipse as a Teaching Platform for Kenya Student: Thomas Timbul (MEng 4) Supervised by: Robert Chatley.
Expediting Programmer AWAREness of Anomalous Code Sarah E. Smith Laurie Williams Jun Xu November 11, 2005.

Expediting Programmer AWAREness of Anomalous Code Sarah E. Smith Laurie Williams Jun Xu November 11, 2005.
Improving Automatic Abbreviation Expansion within Source Code to Aid in Program Search Tools Zak Fry.

Improving Automatic Abbreviation Expansion within Source Code to Aid in Program Search Tools Zak Fry.
Systematic Editing: Generating Program Transformations from an Example Na Meng Miryung Kim Kathryn S. McKinley The University of Texas at Austin.

Systematic Editing: Generating Program Transformations from an Example Na Meng Miryung Kim Kathryn S. McKinley The University of Texas at Austin.
XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai.

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai.
Jieming Zhu 1, Pinjia He 1, Qiang Fu 2, Hongyu Zhang 3, Michael R. Lyu 1, Dongmei Zhang 3 1 The Chinese University of Hong Kong, Hong Kong 2 Microsoft,

Jieming Zhu 1, Pinjia He 1, Qiang Fu 2, Hongyu Zhang 3, Michael R. Lyu 1, Dongmei Zhang 3 1 The Chinese University of Hong Kong, Hong Kong 2 Microsoft,
Software Testing and Validation SWE 434

Software Testing and Validation SWE 434
Microsoft Research Asia Ming Wu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang MIT Fan Long, Xi Wang, Zhilei Xu.

Microsoft Research Asia Ming Wu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang MIT Fan Long, Xi Wang, Zhilei Xu.
Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University What Kinds of.

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University What Kinds of.
CD in Natural Language Software Artifacts 1 Clone Detection in Natural Language Software Artifacts: Techniques and Applications Elmar Juergens November.

CD in Natural Language Software Artifacts 1 Clone Detection in Natural Language Software Artifacts: Techniques and Applications Elmar Juergens November.

Similar presentations

Ads by Google