pi-lens/rules/tree-sitter-queries/go/go-path-traversal.yml

Real-time code feedback for pi — LSP, linters, formatters, type-checking, structural analysis & booboo

# Go Security
# Detects file-system sink calls with dynamic path expressions.
id: go-path-traversal
name: Path Traversal Risk
severity: warning
category: security
defect_class: injection
inline_tier: warning
language: go

message: "Potential path traversal sink — sanitize and constrain file paths"

description: |
  File operations with user-controlled paths can access unintended files.

  ✅ FIX: clean/canonicalize paths and enforce a fixed base directory.

query: |
  (call_expression
    function: (selector_expression
      operand: (identifier) @PKG
      field: (field_identifier) @FN)
    arguments: (argument_list
      [(identifier) (binary_expression) (call_expression)] @PATH
      (_)*)
    (#match? @PKG "^(os|ioutil)$")
    (#match? @FN "^(Open|OpenFile|ReadFile|WriteFile|Create|Remove|RemoveAll)$"))

metavars:
  - PKG
  - FN
  - PATH

post_filter: go_path_traversal_sink

has_fix: false

tags:
  - go
  - security
  - path-traversal
  - cwe-22
  - owasp-a01

examples:
  bad: |
    os.ReadFile(base + userPath)

  good: |
    p := filepath.Clean(userPath)
    os.ReadFile(filepath.Join(baseDir, p))