trailofbits.go.unchecked-type-assertion.unchecked-type-assertion

profile photo of trailofbitstrailofbits
Author
232
Download Count*
CC BY-NC-SA 4.0
License

Unchecked type assertion.

Run Locally

Run in CI

Semgrep CI docs

Defintion

Edit RuleView Source
Open in Playground 
rules:
  - id: unchecked-type-assertion
    patterns:
      - pattern-either:
          - patterns:
              - pattern: |
                  $FOO, $A := <... $X.($TYPE) ...>
              - metavariable-regex:
                  metavariable: $A
                  regex: ^_$
          - patterns:
              - pattern: |
                  $FOO := <... $X.($TYPE) ...>
              - metavariable-regex:
                  metavariable: $FOO
                  regex: ^[^,]*$
    message: |
      Unchecked type assertion.
    severity: ERROR
    languages:
      - go
    metadata:
      license: CC-BY-NC-SA-4.0