Module LogInjection::Config
Config for reasoning about log injection vulnerabilities.
Import path
import semmle.go.security.LogInjection
Predicates
isBarrier | Holds if data flow through |
isSink | Holds if |
isSource | Holds if |
observeDiffInformedIncrementalMode | Holds if sources and sinks should be filtered to only include those that may lead to a flow path with either a source or a sink in the location range given by |