Title | Detecting Spring Configurations Errors |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | von Hof, Vincent, Fögen, Konrad, Kuchen, Herbert |
Conference Name | Proceedings of the Symposium on Applied Computing |
Publisher | ACM |
Conference Location | New York, NY, USA |
ISBN Number | 978-1-4503-4486-9 |
Keywords | attribute grammars, composability, dependency injection, Human Behavior, Java, pluggable annotation processing, pubcrawl, resilience, Resiliency, spring, static code analysis |
Abstract | Dependency injection frameworks such as the Spring framework rely on dynamic language features of Java. Errors arising from the improper usage of these features bypass the compile-time checks of the Java compiler. This paper discusses the application of static code analysis as a means to restore compile-time checking for Spring-related configuration errors. First, possible errors in the configuration of Spring are identified and classified. Attributed grammars are applied in order to formally detect the errors and a prototypical compiler extension is implemented based on Java's pluggable annotation processing API. |
URL | http://doi.acm.org/10.1145/3019612.3019735 |
DOI | 10.1145/3019612.3019735 |
Citation Key | von_hof_detecting_2017 |