class Analyzer::Java::Jsp

Defined in:

analyzer/analyzers/java/jsp.cr

Constant Summary

AT_WEBSERVLET_RE = Regex.union("@WebServlet")
HTTPSERVLET_RE = Regex.union("HttpServlet")
INTERNAL_ATTRIBUTE_PREFIXES = ["javax.servlet.", "jakarta.servlet.", "javax.faces.", "jakarta.faces.", "org.springframework.", "org.apache.", "org.eclipse.jetty.", "org.glassfish.", "com.sun.", "weblogic.", "io.undertow."]

Container- and framework-managed request attributes. These are populated by the servlet engine, filters or the MVC layer — never by user input — so request.getAttribute("javax.servlet....") must not be reported as a request parameter.

SERVLET_DO_METHOD_PATTERNS = {"Get" => "GET", "Post" => "POST", "Put" => "PUT", "Delete" => "DELETE", "Patch" => "PATCH", "Head" => "HEAD", "Options" => "OPTIONS"}.map do |suffix, method| {method, /\bvoid\s+do#{suffix}\s*\(([^)]*)\)\s*(?:throws[^{]+)?\{/m} end

Crystal recompiles an interpolated regex literal on every evaluation (a full PCRE2 JIT compile). The doGet/doPost/... probe set is fixed, so precompile it once at load time.

SERVLET_MARKERS_RE = Regex.union("@WebServlet", "HttpServlet")

Neither branch can hold without one of these two literals, so the union is an exact pre-gate — and it replaces two String#includes? scans of every .java file in the tree with one precompiled pass.

WEBAPP_ROOT_MARKERS = ["src/main/webapp/", "src/main/resources/META-INF/resources/", "WebContent/", "WebRoot/"]

A JSP is served relative to the WEB application root, not the repo root. src/main/webapp/jsp/index.jsp is reachable at /jsp/index.jsp, so strip the build-layout webapp-root prefix; otherwise the whole source path (/libraries-otel/.../src/main/webapp/index.jsp) leaked into the URL.

Class Method Summary

Instance Method Summary

Instance methods inherited from class Analyzer

analyze analyze, base_path : String base_path, base_paths : Array(String) base_paths, base_relative_path(path : String) : String base_relative_path, callees_needed? : Bool callees_needed?, content_matches?(content : String, markers : Regex) : Bool content_matches?, http_header_name(name : String) : String | Nil http_header_name, line_number_for_index(content : String, char_index : Int32) : Int32 line_number_for_index, logger : NoirLogger logger, parallel_analyze(files : Array(String), &block : String -> Nil) parallel_analyze, read_file_content(path : String) : String read_file_content, result : Array(Endpoint) result, tech : String tech, unique_params(params : Array(Param)) : Array(Param) unique_params, url : String url, web_root_path(path : String, markers : Array(String)) : String web_root_path

Constructor methods inherited from class Analyzer

new(options : Hash(String, YAML::Any)) new

Macros inherited from class Analyzer

analyzer_for(tech) analyzer_for

Instance methods inherited from module FileHelper

all_files : Array(String) all_files, get_files_by_basename(basename : String) : Array(String) get_files_by_basename, get_files_by_extension(extension : String) : Array(String) get_files_by_extension, get_files_by_extensions(extensions : Array(String)) : Array(String) get_files_by_extensions, get_files_by_prefix(prefix : String) : Array(String) get_files_by_prefix, get_files_by_prefix_and_extension(prefix : String, extension : String) : Array(String) get_files_by_prefix_and_extension, get_files_by_relative_path(relative_path : String, root : String = "") : Array(String) get_files_by_relative_path, get_public_dir_files(base_path : String, folder : String) : Array(String) get_public_dir_files, get_public_files(base_path : String, anchors : Array(String) = ["shard.yml", "Gemfile"]) : Array(String) get_public_files, walked_path(expanded : String) : String walked_path

Class Method Detail

def self.tech_name : String #

[View source]

Instance Method Detail

def allow_patterns #

[View source]
def analyze #

[View source]
def extract_params(content : String) : Array(Param) #

[View source]
def internal_servlet_attribute?(name : String) : Bool #

[View source]
def tech : String #

Instance-side view of the same declaration. The per-file rescues live on this base class, which has no way to name the analyzer that is running inside them, so a skipped file could not be attributed to a tech. Deriving it from analyzer_for keeps the name written exactly once.


[View source]