TU Darmstadt / ULB / TUbiblio

Design Your Analysis: A Case Study on Implementation Reusability of Data-flow Functions

Lerch, Johannes and Hermann, Ben :
Design Your Analysis: A Case Study on Implementation Reusability of Data-flow Functions.
[Online-Edition: http://doi.acm.org/10.1145/2771284.2771289]
In: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, New York, NY, USA. In: SOAP 2015 . ACM , New York, NY, USA
[Conference or Workshop Item] , (2015)

Official URL: http://doi.acm.org/10.1145/2771284.2771289

Abstract

The development of efficient data flow analyses is a complicated task. As requirements change and special cases have to be considered, implementations may get hard to maintain, test and reuse. We propose to design these analyses regarding the principle of separation of concerns. Therefore, in this paper we present a reference design for data flow analyses in the context of the IFDS/IDE algorithm. We conducted a case study in order to inspect the level of reuse that can be achieved with our design and found it to be helpful for the efficient development of new analyses.

Item Type: Conference or Workshop Item
Erschienen: 2015
Creators: Lerch, Johannes and Hermann, Ben
Title: Design Your Analysis: A Case Study on Implementation Reusability of Data-flow Functions
Language: English
Abstract:

The development of efficient data flow analyses is a complicated task. As requirements change and special cases have to be considered, implementations may get hard to maintain, test and reuse. We propose to design these analyses regarding the principle of separation of concerns. Therefore, in this paper we present a reference design for data flow analyses in the context of the IFDS/IDE algorithm. We conducted a case study in order to inspect the level of reuse that can be achieved with our design and found it to be helpful for the efficient development of new analyses.

Series Name: SOAP 2015
Place of Publication: New York, NY, USA
Publisher: ACM
Uncontrolled Keywords: Separation of concerns, design, flow function, ide, ifds, static analysis
Divisions: Department of Computer Science > Software Technology
Department of Computer Science > EC SPRIDE
Department of Computer Science
Zentrale Einrichtungen
Event Title: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Event Location: New York, NY, USA
Date Deposited: 02 Jul 2015 11:32
Official URL: http://doi.acm.org/10.1145/2771284.2771289
Export:

Optionen (nur für Redakteure)

View Item View Item