https://codeql.github.com/codeql-standard-libraries/go/semmle/go/dataflow/ExternalFlow.qll/module.ExternalFlow$ModelValidation.html
ModelValidation
API documentation for CodeQL
https://codeql.github.com/codeql-standard-libraries/cpp/semmle/code/cpp/dataflow/ExternalFlow.qll/module.ExternalFlow$ModelValidation.html
ModelValidation
API documentation for CodeQL