Skip to content

Commit 49ef693

Browse files
committed
Add extra Customizations files
1 parent 963e028 commit 49ef693

File tree

6 files changed

+39
-0
lines changed

6 files changed

+39
-0
lines changed

cpp/ql/lib/Customizations.qll

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
/**
2+
* Contains customizations to the standard library.
3+
*
4+
* This module is imported by `cpp.qll`, so any customizations defined here automatically
5+
* apply to all queries.
6+
*
7+
* Typical examples of customizations include adding new subclasses of abstract classes such as
8+
* the `RemoteFlowSource` class
9+
* to model frameworks that are not covered by the standard library.
10+
*/
11+
12+
import cpp

cpp/ql/lib/cpp.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@
1313
* https://github.com/cplusplus/draft/raw/master/papers/n4140.pdf
1414
*/
1515

16+
import Customizations
1617
import semmle.code.cpp.File
1718
import semmle.code.cpp.Linkage
1819
import semmle.code.cpp.Location

rust/ql/lib/Customizations.qll

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
/**
2+
* Contains customizations to the standard library.
3+
*
4+
* This module is imported by `rust.qll`, so any customizations defined here automatically
5+
* apply to all queries.
6+
*
7+
* Typical examples of customizations include adding new subclasses of abstract classes such as
8+
* the `RemoteFlowSource` class
9+
* to model frameworks that are not covered by the standard library.
10+
*/
11+
12+
import rust

rust/ql/lib/rust.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
/** Top-level import for the Rust language pack */
22

3+
import Customizations
34
import codeql.rust.elements
45
import codeql.Locations
56
import codeql.files.FileSystem

swift/ql/lib/Customizations.qll

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
/**
2+
* Contains customizations to the standard library.
3+
*
4+
* This module is imported by `swift.qll`, so any customizations defined here automatically
5+
* apply to all queries.
6+
*
7+
* Typical examples of customizations include adding new subclasses of abstract classes such as
8+
* the `RemoteFlowSource` class
9+
* to model frameworks that are not covered by the standard library.
10+
*/
11+
12+
import swift

swift/ql/lib/swift.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
/** Top-level import for the Swift language pack */
22

3+
import Customizations
34
import codeql.swift.elements
45
import codeql.swift.elements.expr.ArithmeticOperation
56
import codeql.swift.elements.expr.Assignment

0 commit comments

Comments
 (0)