Spring micro-benchmark covers Spring's core features. These features are annotated with special annotations in the program, including:
- four Spring features analyses: entry point (@EntryPointTag), dependency injection by singleton (@SingletonDITag) or prototype (@PrototypeDITag) pattern, and Spring AOP (AOPCheckTag).
- two scenes analyses that influenced by Spring features: information leakage (@InfoLeakTag) and permission verification (@HasPermissionTag).