Framework RESTeasy

for JavaEE environment

Julia will translate the RESTeasy annotations into its own, keeping trace of which data comes from an untrusted source.

Required libraries: resteasy-multipart-provider.jar


This specification gets automatically applied when:

  • the framework of the analysis contains the word java (case insensitive)
  • there exists an annotation that starts with org.jboss.resteasy

Implications between annotations

Some annotations of this framework get translated automatically into standard Julia annotations, such that the analysis engine can react accordingly. Namely:

  • if an element is annotated with org.jboss.resteasy.annotations.providers.multipart.MultipartForm, Julia considers it to be annotated also with:
    • com.juliasoft.julia.checkers.flows.UntrustedUserInput