Module taint_builder 

Builds a populated DataSurface from parsed tool definitions and execution surfaces.

Called by each adapter after merging ParsedFile results into ExecutionSurface and ToolSurface. Constructs taint sources, sinks, and 1-hop taint paths.

Functions

build_data_surface

Build a DataSurface from tool definitions and execution surface.