Struct Finding 

pub struct Finding {
    pub invariant_id: String,
    pub severity: Severity,
    pub file: String,
    pub line: usize,
    pub col: usize,
    pub message: String,
    pub snippet: String,
    pub source_fragment: Option<String>,
    pub transaction_hash: Option<String>,
    pub metadata: BTreeMap<String, String>,
}

A security finding discovered by a detector.

This is the unified output type for all invariant violations, accessible across EVM, Solana, Move, and other analyzers.

Fields

invariant_id: String

Unique identifier for the invariant that was violated. Example: “evm_reentrancy_classic”, “sol_missing_signer”, “move_access_control_missing”

severity: Severity

Severity of this finding.

file: String

Source file path (relative to project root).

line: usize

Line number in source file (1-indexed).

col: usize

Column number in source file (0-indexed).

message: String

Human-readable description of the finding. Should explain what was found and why it’s a problem.

snippet: String

Code snippet showing the problematic code (for context in reports). Include a few lines of context around the issue.

source_fragment: Option<String>

Optional source code fragment (full function or smaller unit). Useful for detailed analysis.

transaction_hash: Option<String>

Optional transaction hash or test case ID (for runtime detections).

metadata: BTreeMap<String, String>

Additional metadata (chain, detector version, etc). Can be used by report formatters.

Implementations

impl Finding

pub fn new( invariant_id: String, severity: Severity, file: String, line: usize, col: usize, message: String, snippet: String, ) -> Self

Create a new finding.

pub fn with_metadata(self, key: String, value: String) -> Self

Add metadata to this finding.

pub fn with_source_fragment(self, fragment: String) -> Self

Set the source fragment for this finding.

pub fn with_transaction_hash(self, tx_hash: String) -> Self

Set the transaction hash for this finding (runtime detections).

pub fn dedup_key(&self) -> String

Get a unique key for deduplication (invariant_id + file + line).

Trait Implementations

impl Clone for Finding

fn clone(&self) -> Finding

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Finding

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Finding

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Finding

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Serialize for Finding

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.