InterfacePointMode

How interface points (sources/sinks) are determined.

ValueMeaning
LLVM_HARNESS_DISCOVERYDiscover from compiled LLVM IR (module.ll) by matching harness symbol templates.
DSL_DECLARATIONUse explicit source(…) / sink(…) declarations from the DSL.
File formatsImported from an external file (JSON, YAML, SYML, CSV, XLS, XLSX, XML).

Entries

Link copied to clipboard

Discover interface functions from compiled LLVM IR (module.ll).

Link copied to clipboard

Interface functions listed explicitly as symbols in the DSL (no file import).

Link copied to clipboard

Import from JSON file.

Link copied to clipboard

Import from YAML file.

Link copied to clipboard

Import from SYML file.

Link copied to clipboard

Import from CSV file.

Link copied to clipboard

Import from XLS file.

Link copied to clipboard

Import from XLSX file.

Link copied to clipboard

Import from XML file.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard

Returns a representation of an immutable list of all enum entries, in the order they're declared.

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard

Returns true if this InterfacePointMode is fully implemented as an import source.

Link copied to clipboard

Validates that this InterfacePointMode is implemented as an import source.

Link copied to clipboard

true when this mode requires external interface definition files (i.e. any file-format mode: JSON, YAML, SYML, CSV, XLS, XLSX, XML).

Link copied to clipboard

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Link copied to clipboard

Returns an array containing the constants of this enum type, in the order they're declared.

Generated with STIG