Skip to content

Latest commit

 

History

History
45 lines (25 loc) · 1017 Bytes

CallChainEvidence.md

File metadata and controls

45 lines (25 loc) · 1017 Bytes

CallChainEvidence

A concrete sequence of calls connecting program locations.

Properties

Name Type Description Notes
evidenceKind EvidenceKindEnum [optional]
kind KindEnum [optional]
effect EvidenceEffect
strength StrengthEnum [optional]
callChain List<Integer>

Enum: EvidenceKindEnum

Name Value
CALL_CHAIN "call_chain"
UNKNOWN_DEFAULT_OPEN_API "unknown_default_open_api"

Enum: KindEnum

Name Value
DETERMINISTIC_DERIVATION "deterministic_derivation"
UNKNOWN_DEFAULT_OPEN_API "unknown_default_open_api"

Enum: StrengthEnum

Name Value
DIRECT "direct"
UNKNOWN_DEFAULT_OPEN_API "unknown_default_open_api"