Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis最新文献

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis 第五届ACM SIGPLAN国际研讨会程序分析的最新进展

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Pub Date : 2016-06-14 DOI: 10.1145/2931021

Charles Zhang, Xavier Rival

引用次数: 0

Towards cross-platform cross-language analysis with soot 面向跨平台跨语言分析烟尘

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Pub Date : 2016-06-14 DOI: 10.1145/2931021.2931022

Steven Arzt, Tobias Kussmaul, E. Bodden

引用次数: 12

Toward an automated benchmark management system 迈向自动化基准管理系统

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Pub Date : 2016-06-14 DOI: 10.1145/2931021.2931023

Lisa Nguyen Quang Do, Michael Eichberg, E. Bodden

{"title":"Toward an automated benchmark management system","authors":"Lisa Nguyen Quang Do, Michael Eichberg, E. Bodden","doi":"10.1145/2931021.2931023","DOIUrl":"https://doi.org/10.1145/2931021.2931023","url":null,"abstract":"The systematic evaluation of program analyses as well as software-engineering tools requires benchmark suites that are representative of real-world projects in the domains for which the tools or analyses are designed. Such benchmarks currently only exist for a few research areas and even where they exist, they are often not effectively maintained, due to the required manual effort. This makes evaluating new analyses and tools on software that relies on current technologies often impossible. We describe ABM, a methodology to semi-automatically mine software repositories to extract up-to-date and representative sets of applications belonging to specific domains. The proposed methodology facilitates the creation of such collections and makes it easier to release updated versions of a benchmark suite. Resulting from an instantiation of the methodology, we present a collection of current real-world Java business web applications. The collection and methodology serve as a starting point for creating current, targeted benchmark suites, and thus helps to better evaluate current program-analysis and software-engineering tools.","PeriodicalId":278847,"journal":{"name":"Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121338998","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 8

Iceberg: a tool for static analysis of Java critical sections 冰山:Java临界区静态分析工具

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Pub Date : 2016-06-14 DOI: 10.1145/2931021.2931025

Michael D. Shah, Samuel Z. Guyer

{"title":"Iceberg: a tool for static analysis of Java critical sections","authors":"Michael D. Shah, Samuel Z. Guyer","doi":"10.1145/2931021.2931025","DOIUrl":"https://doi.org/10.1145/2931021.2931025","url":null,"abstract":"In this paper we present a static analysis tool called Iceberg that helps programmers find potential performance bugs in concurrent Java programs. The focus of our work is on identifying critical sections with high variability in their latency: in most cases they execute quickly, but occasionally they stall, holding a lock for an unusually long time, and preventing other threads from making progress. The end user experiences such behavior as transient program \"hangs\". These performance bugs are difficult to find because they are infrequent, transient, and hard to reproduce. This paper describes our initial results running Iceberg on 24 real-world concurrent programs. Our current approach is to identify all of the code that could be executed inside each critical section, including all methods potentially called by it. We collect a number of code metrics that might indicate potential performance problems. These metrics include counts of variable-latency operations such as I/O and memory allocation, as well as overall measurements of critical section size. Using our tool we are able to find critical sections with unusual behavior compared to the other critical sections. Our future work includes a more detailed analysis of control-flow through critical sections, as well as a dynamic analysis to measure the critical section latencies directly.","PeriodicalId":278847,"journal":{"name":"Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128389966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On the unsoundness of static analysis for Android GUIs 论Android gui静态分析的不合理性

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Pub Date : 2016-06-14 DOI: 10.1145/2931021.2931026

Yan Wang, Hailong Zhang, A. Rountev

引用次数: 29

LifeJacket: verifying precise floating-point optimizations in LLVM 救生衣:验证LLVM中的精确浮点优化

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Pub Date : 2016-03-30 DOI: 10.1145/2931021.2931024

Andres Nötzli, Fraser Brown

引用次数: 23