Framework Servlet

for JavaEE environment

Julia will consider as entry points all the servlet's methods, hence successfully analysing also the code that will be executed during the servlet's lifecycle.

Required libraries: javax.servlet-api.jar


This specification gets automatically applied when:

  • the framework of the analysis contains the word java (case insensitive)
  • a class whose name is equals to javax.servlet.http.HttpServlet is supertype of at least one application's class


Predicates are named conditions that can be used inside other conditions. This framework defines the following predicates:

  • predicate isServletEventMethod is defined as follows:
      whose name (starts with do or (is equal to init or (is equal to service or is equal to destroy)))

Specifications on application code

These are conditions that, if satisfied on a given program component, will cause the specified annotations to be placed on such component. These will annotate only program components coming from the application under analysis, and not the libraries. This framework defines the following specifications:

  • annotate any method that satisfies the following:
      (that is defined in a class that is subtype of a class whose name is equal to javax.servlet.http.HttpServlet and satisfies predicate isServletEventMethod)
    • com.juliasoft.julia.extraction.EntryPoint