mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Add extra Customizations files
This commit is contained in:
12
cpp/ql/lib/Customizations.qll
Normal file
12
cpp/ql/lib/Customizations.qll
Normal file
@@ -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
|
||||
@@ -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
|
||||
|
||||
12
rust/ql/lib/Customizations.qll
Normal file
12
rust/ql/lib/Customizations.qll
Normal file
@@ -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,5 +1,6 @@
|
||||
/** Top-level import for the Rust language pack */
|
||||
|
||||
import Customizations
|
||||
import codeql.rust.elements
|
||||
import codeql.Locations
|
||||
import codeql.files.FileSystem
|
||||
|
||||
12
swift/ql/lib/Customizations.qll
Normal file
12
swift/ql/lib/Customizations.qll
Normal file
@@ -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,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
|
||||
|
||||
Reference in New Issue
Block a user