LLVM_HARNESS_DISCOVERY

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

Sources and sinks are discovered by scanning demangled LLVM symbols for the hard-coded harness symbol templates:

• harness::SourceGroup<

• harness::SourceLeaf<

• harness::SinkGroup<

• harness::SinkLeaf<

Controlled by AnalysisDepth: GROUP, LEAF, or BOTH. No source() / sink() declarations needed in the DSL.