# VulHunt rules

## Docs

- [Glossary of Terms](https://vulhunt-docs.binarly.io/user-guide/appendices/glossary-of-terms.md)
- [Troubleshooting Guide](https://vulhunt-docs.binarly.io/user-guide/appendices/troubleshooting-guide.md)
- [Editions](https://vulhunt-docs.binarly.io/user-guide/get-started/editions.md)
- [Introduction](https://vulhunt-docs.binarly.io/user-guide/get-started/introduction.md)
- [Auxiliary Data](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/auxiliary-data.md)
- [ba2](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/ba2.md)
- [btp](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/btp.md)
- [Installation](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/installation.md)
- [mcp](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/mcp.md)
- [Options](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/options.md)
- [Overview](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/overview.md)
- [scan](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/scan.md)
- [Usage](https://vulhunt-docs.binarly.io/user-guide/vulhunt-cli/usage.md)
- [Best Practices](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/best-practices.md)
- [Decompiler Extension](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/decompiler-extension.md)
- [Modules](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/modules.md)
- [Overview](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/overview.md)
- [Returning Results](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/returning-results.md)
- [Calls Scope](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/scopes/calls-scope.md)
- [Functions Scope](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/scopes/functions-scope.md)
- [Project Scope](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/scopes/project-scope.md)
- [Signatures](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/signatures.md)
- [Type Libraries](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/type-libraries.md)
- [Use Case: UEFI module](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/use-cases/cve-2025-4425.md)
- [Use Case: Authentication Bypass](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/use-cases/cve-2026-24061.md)
- [Use Case: Buffer Overflow](https://vulhunt-docs.binarly.io/user-guide/vulhunt-rules/use-cases/simple-buffer-overflow.md)
- [Client Setup](https://vulhunt-docs.binarly.io/user-guide/vulhunt-sdk/client-setup.md)
- [Commands](https://vulhunt-docs.binarly.io/user-guide/vulhunt-sdk/commands.md)
- [Kernel Setup](https://vulhunt-docs.binarly.io/user-guide/vulhunt-sdk/kernel-setup.md)
- [Overview](https://vulhunt-docs.binarly.io/user-guide/vulhunt-sdk/overview.md)
- [Usage](https://vulhunt-docs.binarly.io/user-guide/vulhunt-sdk/usage.md)
- [Calls Scope](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/calls-scope.md)
- [Functions Scope](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/functions-scope.md)
- [Project Scope](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/project-scope.md)
- [AnnotateAssignment](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-assignment.md)
- [AnnotateAt](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-at.md)
- [AnnotateGlobal](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-global.md)
- [AnnotateOperand](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-operand.md)
- [AnnotatePrototype](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-prototype.md)
- [AnnotateRange](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-range.md)
- [AnnotateVariable](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/annotate-variable.md)
- [Overview](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/annotations/overview.md)
- [CVSS](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/cvss.md)
- [Evidence](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/evidence.md)
- [Overview](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/overview.md)
- [ProvenanceTable](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/provenance-table.md)
- [VariantTable](https://vulhunt-docs.binarly.io/vulhunt-reference/scopes/scopes-result/variant-table.md)
- [Overview](https://vulhunt-docs.binarly.io/vulhunt-reference/stdlib-extensions/overview.md)
- [Type Conventions](https://vulhunt-docs.binarly.io/vulhunt-reference/type-notation.md)
- [AddressValue](https://vulhunt-docs.binarly.io/vulhunt-reference/types/address-value.md)
- [BitVec](https://vulhunt-docs.binarly.io/vulhunt-reference/types/bitvec.md)
- [CallsMatchingParam](https://vulhunt-docs.binarly.io/vulhunt-reference/types/calls-matching-param.md)
- [CallsMatchingTable](https://vulhunt-docs.binarly.io/vulhunt-reference/types/calls-matching-table.md)
- [CallsToQuery](https://vulhunt-docs.binarly.io/vulhunt-reference/types/calls-to-query.md)
- [CallSiteContext](https://vulhunt-docs.binarly.io/vulhunt-reference/types/callsite-context.md)
- [CallSiteTable](https://vulhunt-docs.binarly.io/vulhunt-reference/types/callsite-table.md)
- [DecompiledFunction](https://vulhunt-docs.binarly.io/vulhunt-reference/types/decompiled-function.md)
- [FunctionContext](https://vulhunt-docs.binarly.io/vulhunt-reference/types/function-context.md)
- [FunctionQuery](https://vulhunt-docs.binarly.io/vulhunt-reference/types/function-query.md)
- [Instruction](https://vulhunt-docs.binarly.io/vulhunt-reference/types/instruction.md)
- [IRTerm](https://vulhunt-docs.binarly.io/vulhunt-reference/types/ir-term.md)
- [IRTermClassKind](https://vulhunt-docs.binarly.io/vulhunt-reference/types/ir-term-class-kind.md)
- [IRTermKind](https://vulhunt-docs.binarly.io/vulhunt-reference/types/ir-term-kind.md)
- [IRTermSubKind](https://vulhunt-docs.binarly.io/vulhunt-reference/types/ir-term-sub-kind.md)
- [OperandInfo](https://vulhunt-docs.binarly.io/vulhunt-reference/types/operand-info.md)
- [OperandOrigin](https://vulhunt-docs.binarly.io/vulhunt-reference/types/operand-origin.md)
- [PatternMatcher](https://vulhunt-docs.binarly.io/vulhunt-reference/types/pattern-matcher.md)
- [ProjectHandle](https://vulhunt-docs.binarly.io/vulhunt-reference/types/project-handle.md)
- [RegexMatcher](https://vulhunt-docs.binarly.io/vulhunt-reference/types/regex-matcher.md)
- [SearchCodeResult](https://vulhunt-docs.binarly.io/vulhunt-reference/types/search-code-result.md)
- [SyntaxMatchResult](https://vulhunt-docs.binarly.io/vulhunt-reference/types/syntax-match-result.md)
- [Rule Fields](https://vulhunt-docs.binarly.io/vulhunt-reference/vulhunt-rules/rule-fields.md)