Skip to main content

Documentation Index

Fetch the complete documentation index at: https://vulhunt-docs.binarly.io/llms.txt

Use this file to discover all available pages before exploring further.

VulHunt allows you to create annotations in the decompiled code, and attach them to specific locations, such as an address, range, variable, or function prototype. This greatly improves the explainability of the vulnerability findings, allowing for a faster and more accurate triage of the findings. An annotation can be created by using the methods described in the table below.
MethodDescriptionParameters
annotate:atAnnotate at a given addressAnnotateAt
annotate:prototypeAnnotate the function prototypeAnnotatePrototype
annotate:assignmentAnnotate an assignmentAnnotateAssignment
annotate:variableAnnotate a variableAnnotateVariable
annotate:operandAnnotate an operandAnnotateOperand
annotate:rangeAnnotate a code rangeAnnotateRange
annotate:globalAnnotate a globalAnnotateGlobal

​
Reference

​
annotate:at

Creates an annotation at a specific address or code location.

​
annotate:prototype

Annotates the prototype of a function.

​
annotate:assignment

Annotates an assignment to a variable with a declaration at a specific address in the code.

​
annotate:variable

Annotates a variable usage, specifying its position (input/output), index, and declaration.

​
annotate:operand

Annotates a specific operand at a given address with a message.

​
annotate:range

Annotates a range of code, such as a block or sequence of instructions, with a message.

​
annotate:global

Annotates a global variable with a declaration.