mirror of
https://github.com/github/codeql.git
synced 2026-04-14 19:44:03 +02:00
59 lines
1.9 KiB
Plaintext
59 lines
1.9 KiB
Plaintext
/**
|
|
* This module provides extensible predicates for defining MaD models.
|
|
*/
|
|
|
|
private import codeql.mad.static.ModelsAsData as SharedMaD
|
|
|
|
/**
|
|
* Holds if an external source model exists for the given parameters.
|
|
*/
|
|
extensible predicate sourceModel(
|
|
string namespace, string type, boolean subtypes, string name, string signature, string ext,
|
|
string output, string kind, string provenance, QlBuiltins::ExtensionId madId
|
|
);
|
|
|
|
/**
|
|
* Holds if an external sink model exists for the given parameters.
|
|
*/
|
|
extensible predicate sinkModel(
|
|
string namespace, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string kind, string provenance, QlBuiltins::ExtensionId madId
|
|
);
|
|
|
|
/**
|
|
* Holds if a barrier model exists for the given parameters.
|
|
*/
|
|
extensible predicate barrierModel(
|
|
string namespace, string type, boolean subtypes, string name, string signature, string ext,
|
|
string output, string kind, string provenance, QlBuiltins::ExtensionId madId
|
|
);
|
|
|
|
/**
|
|
* Holds if a barrier guard model exists for the given parameters.
|
|
*/
|
|
extensible predicate barrierGuardModel(
|
|
string namespace, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string acceptingValue, string kind, string provenance, QlBuiltins::ExtensionId madId
|
|
);
|
|
|
|
/**
|
|
* Holds if an external summary model exists for the given parameters.
|
|
*/
|
|
extensible predicate summaryModel(
|
|
string namespace, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string output, string kind, string provenance, QlBuiltins::ExtensionId madId
|
|
);
|
|
|
|
/**
|
|
* Holds if a neutral model exists for the given parameters.
|
|
*/
|
|
extensible predicate neutralModel(
|
|
string namespace, string type, string name, string signature, string kind, string provenance
|
|
);
|
|
|
|
module Extensions implements SharedMaD::ExtensionsSig {
|
|
import ExternalFlowExtensions
|
|
|
|
predicate namespaceGrouping(string group, string namespace) { none() }
|
|
}
|