V-256790

Discussion

Resource mapping is the process of tying a particular file type to a process in the web server that can serve that type of file to a requesting client and identify which file types are not to be delivered to a client. By not specifying which files can and cannot be served to a user, the web server could deliver to a user web server configuration files, log files, password files, etc. As Tomcat is a Java-based web server, the main file extension used is *.jsp. This check ensures the *.jsp and *.jspx file types has been properly mapped to servlets.

Check Content

At the command prompt, run the following command:  
 
# xmllint --format /usr/lib/vmware-vsphere-ui/server/conf/web.xml | sed 's/xmlns=".*"//g' | xmllint --xpath '/web-app/servlet-mapping/servlet-name[text()="jsp"]/parent::servlet-mapping' - 
 
Expected result: 
 
<servlet-mapping> 
  <servlet-name>jsp</servlet-name> 
  <url-pattern>*.jsp</url-pattern> 
  <url-pattern>*.jspx</url-pattern> 
</servlet-mapping> 
 
If the .jsp and .jspx file url-patterns are not configured as in the expected result, this is a finding.