Visible to the public Detecting Spring Configurations Errors

TitleDetecting Spring Configurations Errors
Publication TypeConference Paper
Year of Publication2017
Authorsvon Hof, Vincent, Fögen, Konrad, Kuchen, Herbert
Conference NameProceedings of the Symposium on Applied Computing
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-4486-9
Keywordsattribute grammars, composability, dependency injection, Human Behavior, Java, pluggable annotation processing, pubcrawl, resilience, Resiliency, spring, static code analysis
AbstractDependency 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.
Citation Keyvon_hof_detecting_2017