TU Darmstadt / ULB / TUbiblio

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

Lerch, Johannes ; 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
[Konferenz- oder Workshop-Beitrag], (2015)

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

Kurzbeschreibung (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.

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2015
Autor(en): Lerch, Johannes ; Hermann, Ben
Titel: Design Your Analysis: A Case Study on Implementation Reusability of Data-flow Functions
Sprache: Englisch
Kurzbeschreibung (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.

Reihe: SOAP 2015
Ort: New York, NY, USA
Verlag: ACM
Freie Schlagworte: Separation of concerns, design, flow function, ide, ifds, static analysis
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Softwaretechnik
Zentrale Einrichtungen > EC SPRIDE
Fachbereich Informatik
Zentrale Einrichtungen
Veranstaltungstitel: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Veranstaltungsort: New York, NY, USA
Hinterlegungsdatum: 02 Jul 2015 11:32
Offizielle URL: http://doi.acm.org/10.1145/2771284.2771289
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen