Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit a741170

Browse files
redsun82redsun82
committed
Merge branch 'main' into redsun82/kotlin
2 parents 306f0f1 + 4886bb1 commit a741170

298 files changed

Lines changed: 3796 additions & 16152 deletions

File tree

Some content is hidden

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

‎cpp/ql/lib/change-notes/2024-10-04-getc.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Source models have been added for the standard library function `getc` (and variations).

‎cpp/ql/lib/change-notes/2024-10-04-models-as-data.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: feature
3+
---
4+
* Models-as-Data support has been added for C/C++. This feature allows flow sources, sinks and summaries to be expressed in compact strings as an alternative to modelling each source / sink / summary with explicit QL. See `dataflow/ExternalFlow.qll` for documentation and specification of the model format, and `models/implementations/ZMQ.qll` for a simple example of models. Importing models from `.yml` is not yet supported.

‎cpp/ql/lib/change-notes/2024-10-04-zmq.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Source, sink and flow models for the ZeroMQ (ZMQ) networking library have been added.

‎cpp/ql/lib/qlpack.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ library: true
77
upgrades: upgrades
88
dependencies:
99
codeql/dataflow: ${workspace}
10+
codeql/mad: ${workspace}
1011
codeql/rangeanalysis: ${workspace}
1112
codeql/ssa: ${workspace}
1213
codeql/typeflow: ${workspace}

0 commit comments

Comments
 (0)