Skip to content

ImportedApiCallEvidence.md

Latest commit

 

History

History
45 lines (25 loc) · 1.02 KB

ImportedApiCallEvidence.md

File metadata and controls

45 lines (25 loc) · 1.02 KB
Raw

ImportedApiCallEvidence

Imported API calls observed in the program.

Properties

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

Enum: EvidenceKindEnum

Name Value
IMPORTED_API_CALL "imported_api_call"
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"