Skip to content

Commit 6253b5c

Browse files
committed
Merge branch 'main' into redsun82/rust-regenerate-models
2 parents 691281a + b234d77 commit 6253b5c

File tree

397 files changed

+15748
-3872
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

397 files changed

+15748
-3872
lines changed

actions/ql/lib/codeql/actions/security/OutputClobberingQuery.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -216,6 +216,8 @@ private module OutputClobberingConfig implements DataFlow::ConfigSig {
216216
}
217217

218218
predicate observeDiffInformedIncrementalMode() { any() }
219+
220+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
219221
}
220222

221223
/** Tracks flow of unsafe user input that is used to construct and evaluate an environment variable. */

actions/ql/lib/codeql/actions/security/RequestForgeryQuery.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,8 @@ private module RequestForgeryConfig implements DataFlow::ConfigSig {
1818
predicate isSink(DataFlow::Node sink) { sink instanceof RequestForgerySink }
1919

2020
predicate observeDiffInformedIncrementalMode() { any() }
21+
22+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
2123
}
2224

2325
/** Tracks flow of unsafe user input that is used to construct and evaluate a system command. */

actions/ql/lib/codeql/actions/security/SecretExfiltrationQuery.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,8 @@ private module SecretExfiltrationConfig implements DataFlow::ConfigSig {
1717
predicate isSink(DataFlow::Node sink) { sink instanceof SecretExfiltrationSink }
1818

1919
predicate observeDiffInformedIncrementalMode() { any() }
20+
21+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
2022
}
2123

2224
/** Tracks flow of unsafe user input that is used in a context where it may lead to a secret exfiltration. */

actions/ql/src/Models/CompositeActionsSinks.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,8 @@ private module MyConfig implements DataFlow::ConfigSig {
2626
}
2727

2828
predicate observeDiffInformedIncrementalMode() { any() }
29+
30+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
2931
}
3032

3133
module MyFlow = TaintTracking::Global<MyConfig>;

actions/ql/src/Models/CompositeActionsSources.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,8 @@ private module MyConfig implements DataFlow::ConfigSig {
3636
}
3737

3838
predicate observeDiffInformedIncrementalMode() { any() }
39+
40+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
3941
}
4042

4143
module MyFlow = TaintTracking::Global<MyConfig>;

actions/ql/src/Models/CompositeActionsSummaries.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,8 @@ private module MyConfig implements DataFlow::ConfigSig {
2727
}
2828

2929
predicate observeDiffInformedIncrementalMode() { any() }
30+
31+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
3032
}
3133

3234
module MyFlow = TaintTracking::Global<MyConfig>;

actions/ql/src/Models/ReusableWorkflowsSinks.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,8 @@ private module MyConfig implements DataFlow::ConfigSig {
2626
}
2727

2828
predicate observeDiffInformedIncrementalMode() { any() }
29+
30+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
2931
}
3032

3133
module MyFlow = TaintTracking::Global<MyConfig>;

actions/ql/src/Models/ReusableWorkflowsSources.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,8 @@ private module MyConfig implements DataFlow::ConfigSig {
3636
}
3737

3838
predicate observeDiffInformedIncrementalMode() { any() }
39+
40+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
3941
}
4042

4143
module MyFlow = TaintTracking::Global<MyConfig>;

actions/ql/src/Models/ReusableWorkflowsSummaries.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,8 @@ private module MyConfig implements DataFlow::ConfigSig {
2727
}
2828

2929
predicate observeDiffInformedIncrementalMode() { any() }
30+
31+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
3032
}
3133

3234
module MyFlow = TaintTracking::Global<MyConfig>;
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
class BuiltinType extends @builtintype {
2+
string toString() { none() }
3+
}
4+
5+
from BuiltinType id, string name, int kind, int new_kind, int size, int sign, int alignment
6+
where
7+
builtintypes(id, name, kind, size, sign, alignment) and
8+
if kind = 63 then /* @errortype */ new_kind = 1 else new_kind = kind
9+
select id, name, new_kind, size, sign, alignment
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
class Type extends @type {
2+
string toString() { none() }
3+
}
4+
5+
from Type type, string name, int kind, int new_kind, Type type_id
6+
where
7+
derivedtypes(type, name, kind, type_id) and
8+
if kind = 11 then /* @gnu_vector */ new_kind = 5 else new_kind = kind
9+
select type, name, new_kind, type_id

0 commit comments

Comments
 (0)