class Analyzer::Rust::Salvo

Overview

Salvo analyzer (tree-sitter port). Salvo wires routes in two shapes, both handled here:

  1. Router-chain DSL: Router::with_path("users/").get(get_user) Router::new().path("users").hoop(auth).get(list).post(create) Each .<verb>(handler) is paired with the nearest enclosing .with_path(...) / .path(...) found by walking up its receiver chain — so middleware (.hoop(...)) and verb chaining (.get(a).post(b)) between the path and the verb don't break detection.

  2. Attribute macro: #[endpoint(method = Post, path = "/api/submit/")] async fn submit_form(...) { ... }

Router chains are frequently assembled inside a vec![ ... ] macro (impl Routers { fn build() -> Vec<Router> { vec![Router::new()…] } }). tree-sitter leaves a macro body as a flat token_tree with no call_expression nodes, so those routes are invisible to a plain AST walk. We recover them by re-parsing each router-bearing macro body as an expression fragment and mapping line numbers back.

Defined in:

analyzer/analyzers/rust/salvo.cr

Constant Summary

FN_EDGE_EVIDENCE_RE = Regex.union(".push(", ".unshift(")

Precompiled union for build_fn_external_prefixes' per-file evidence gate, so it costs a single PCRE2 match instead of two naive substring scans.

HTTP_VERBS = Set {"get", "post", "put", "delete", "patch", "head", "options"}
ROUTER_METHODS = Set {"push", "unshift", "path", "with_path", "hoop", "then", "get", "post", "put", "delete", "patch", "head", "options"}

A call worth treating as a router-chain top: a .push/.path/ .with_path/.<verb>/.hoop(...) method call or a Router::* base.

Class Method Summary

Instance Method Summary

Class methods inherited from class Analyzer::Rust::RustEngine

collect_cfg_test_regions(source : String) : Array(Tuple(Int32, Int32)) collect_cfg_test_regions, fan_out_verbs(verb : String) : Array(String) fan_out_verbs, inside_test_region?(node : LibTreeSitter::TSNode, regions : Array(Tuple(Int32, Int32))) : Bool inside_test_region?, test_path?(relative_path : String) : Bool test_path?

Instance methods inherited from class FileScanEngine

analyze analyze, analyze_file(path : String) : Array(Endpoint) analyze_file

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 analyze #

[View source]
def analyze_file(path : String) : Array(Endpoint) #

[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]