DSL_DECLARATION

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

Sources and sinks are declared via source(…) / sink(…) in interfacePoints { }. Each declared sink gets its own taint config with all declared sources.