Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions cpp/ql/lib/Customizations.qll
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
/**
* Contains customizations to the standard library.
*
* This module is imported by `cpp.qll`, so any customizations defined here automatically
* apply to all queries.
*
* Typical examples of customizations include adding new subclasses of abstract classes such as
* the `RemoteFlowSource` class
* to model frameworks that are not covered by the standard library.
*/

import cpp
1 change: 1 addition & 0 deletions cpp/ql/lib/cpp.qll
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@
* https://github.com/cplusplus/draft/raw/master/papers/n4140.pdf
*/

import Customizations
import semmle.code.cpp.File
import semmle.code.cpp.Linkage
import semmle.code.cpp.Location
Expand Down
12 changes: 12 additions & 0 deletions rust/ql/lib/Customizations.qll
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
/**
* Contains customizations to the standard library.
*
* This module is imported by `rust.qll`, so any customizations defined here automatically
* apply to all queries.
*
* Typical examples of customizations include adding new subclasses of abstract classes such as
* the `RemoteFlowSource` class
* to model frameworks that are not covered by the standard library.
*/

import rust
1 change: 1 addition & 0 deletions rust/ql/lib/rust.qll
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
/** Top-level import for the Rust language pack */

import Customizations
import codeql.rust.elements
import codeql.Locations
import codeql.files.FileSystem
Expand Down
12 changes: 12 additions & 0 deletions swift/ql/lib/Customizations.qll
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
/**
* Contains customizations to the standard library.
*
* This module is imported by `swift.qll`, so any customizations defined here automatically
* apply to all queries.
*
* Typical examples of customizations include adding new subclasses of abstract classes such as
* the `RemoteFlowSource` class
* to model frameworks that are not covered by the standard library.
*/

import swift
1 change: 1 addition & 0 deletions swift/ql/lib/swift.qll
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
/** Top-level import for the Swift language pack */

import Customizations
import codeql.swift.elements
import codeql.swift.elements.expr.ArithmeticOperation
import codeql.swift.elements.expr.Assignment
Expand Down
Loading