Module signature InputSig
Import path
import codeql.mad.static.ModelsAsDataPredicates
| additionalSinkModel | Holds if a sink model exists for the given parameters. |
| additionalSourceModel | Holds if a source model exists for the given parameters. |
| additionalSummaryModel | Holds if a summary model exists for the given parameters. |
| cleanNamespace | Gets a cleaned-up version of the namespace for presentation in model coverage. |
| namespaceSegmentSeparator | Gets the separator used between namespace segments. |