interfacePointMode

How interface functions are determined.

• InterfacePointMode.LLVM_HARNESS_DISCOVERY — discovered from compiled bitcode (module.ll) harness symbols.

• InterfacePointMode.DSL_DECLARATION — explicit source/sink lists below.

• InterfacePointMode.SYML — parsed from .syml interface definition files (future).