Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room
Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis
Abstract
Enterprise applications are a major success domain of Java, and Java is the default setting for much modern static analysis research. It would stand to reason that high-quality static analysis of Java enterprise applications would be commonplace, but this is far from true. Major analysis frameworks feature virtually no support for enterprise applications and offer analyses that are woefully incomplete and vastly imprecise, when at all scalable.
Topics & Concepts
JavaComputer scienceScalabilityStatic analysisReal time JavaDomain (mathematical analysis)Software engineeringProgramming languageDatabaseMathematical analysisMathematicsAdvanced Malware Detection TechniquesSoftware Testing and Debugging TechniquesSoftware Engineering Research