← ClaudeAtlas

code-pattern-matchinglisted

Search for code patterns in decompiled output using Weggli semantic matching. Use when finding vulnerable code constructs like unchecked memcpy, buffer operations, or specific function call patterns in pseudocode.
vulhunt-re/skills · ★ 15 · AI & Automation · score 63
Install: claude install-skill vulhunt-re/skills
# Code Pattern Matching Search for code patterns in decompiled output using the Weggli pattern matching engine. ## When to use - Find specific code patterns in decompiled functions (e.g., `memcpy(dst, src, len)`) - Search for vulnerable code constructs across functions - Match variable usage patterns with semantic constraints - Locate specific function call patterns with regex filtering ## Instructions Using the VulHunt MCP tools, open the project (`open_project`) and run the following Lua query (`query_project`), adapting it as needed: ```lua local decomp = project:decompile(<target_function>) local matches = decomp:query({ raw = true, -- If true, the query will be used as-is; otherwise, it will be wrapped in {{}} query = [[<query>]] }) return matches:dump() -- matches:dump() already returns a table ``` The `<query>` parameter is a query written in Weggli, the default pattern matching engine. Possible values for `<target_function>`: - A string, e.g. `"system"` - An AddressValue - VulHunt APIs return addresses as an AddressValue - To build an AddressValue, use for example: `AddressValue.new(0x1234)` - A regex, e.g. `{matching = "<regex>", kind = "symbol", all = true}` - A byte pattern, e.g. `{matching = "41544155", kind = "bytes", all = true}` > `all` is a boolean. If set to `true`, it returns a table containing all matching functions. If `false` (default), it returns only the first matching value. The for loop is not necessary if the function target is onl