Paolo Tranquilli
|
63fb0581c2
|
Swift: accept inconsistencies for now
|
2023-05-24 20:09:46 +02:00 |
|
Geoffrey White
|
d8cc8bd520
|
Swift: Fix indentation.
|
2023-05-24 18:43:48 +01:00 |
|
Geoffrey White
|
6d2800c117
|
Swift: Add change note.
|
2023-05-24 18:32:04 +01:00 |
|
Paolo Tranquilli
|
67a9141e8c
|
Swift: make AST printer consistency query more helpful
|
2023-05-24 18:10:08 +02:00 |
|
Paolo Tranquilli
|
b9fe056d81
|
Swift: add qlpack.yml to consistency-queries
|
2023-05-24 18:10:08 +02:00 |
|
Paolo Tranquilli
|
85fdcd9912
|
Swift: move consistency queries
|
2023-05-24 18:10:08 +02:00 |
|
Paolo Tranquilli
|
e513af1bcf
|
Swift: add CFG and PrintAst consistency queries, enabling them in CI
|
2023-05-24 18:10:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
fca5fb6177
|
Merge pull request #13269 from jketema/inline-module
C++/Swift: Rewrite inline expectation tests to use the parameterized module
|
2023-05-24 08:10:42 -07:00 |
|
Mathias Vorreiter Pedersen
|
4496fd58ae
|
Merge pull request #13271 from jketema/invalid-pointer-deref-fp-2
C++: Add `cpp/invalid-pointer-deref` FP test case
|
2023-05-24 08:05:58 -07:00 |
|
Maiky
|
40450a2792
|
typo
|
2023-05-24 17:02:48 +02:00 |
|
Kasper Svendsen
|
92b408fbc1
|
Merge pull request #13274 from kaspersv/kaspersv/late-inline-member-preds-doc
Docs: Late inlining now supported for member predicates
|
2023-05-24 16:19:42 +02:00 |
|
Kasper Svendsen
|
770e76a04d
|
Docs: Late inlining now supported for member predicates
|
2023-05-24 14:02:58 +02:00 |
|
Jeroen Ketema
|
9a467f9d4e
|
C++: Add cpp/invalid-pointer-deref FP test case
|
2023-05-24 13:52:19 +02:00 |
|
github-actions[bot]
|
d2e192020b
|
Post-release preparation for codeql-cli-2.13.3
|
2023-05-24 11:26:12 +00:00 |
|
Jeroen Ketema
|
af378df712
|
C++: Add cpp/invalid-pointer-deref FP test case
|
2023-05-24 12:29:55 +02:00 |
|
Jeroen Ketema
|
3a3d9bc505
|
Swift: Rewrite inline expectation tests to use the parameterized module
|
2023-05-24 11:38:22 +02:00 |
|
Paolo Tranquilli
|
ff78ac98d2
|
Merge pull request #13249 from github/redsun82/swift-hidden-ast
Swift: make only certain elements hideable in the AST
codeql-cli/v2.13.3
|
2023-05-24 11:22:10 +02:00 |
|
Paolo Tranquilli
|
2fb6cdc19b
|
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
|
2023-05-24 11:16:59 +02:00 |
|
Tom Hvitved
|
1788c54bd8
|
Python: Avoid calling TypeTracker::step in call graph construction
|
2023-05-24 11:11:54 +02:00 |
|
Tom Hvitved
|
13ada1e6ad
|
Ruby: Remove canonical return nodes
|
2023-05-24 11:11:50 +02:00 |
|
Tom Hvitved
|
deee314370
|
Python/Ruby: Optimize join-order in TypeTracker::[small]step
|
2023-05-24 11:11:07 +02:00 |
|
Tom Hvitved
|
05f3934042
|
Merge pull request #13251 from hvitved/ruby/call-graph-self-param
Ruby: Include both `self` parameters and SSA definitions in call graph construction
|
2023-05-24 11:10:34 +02:00 |
|
Jeroen Ketema
|
2276890cec
|
C++: Rewrite inline expectation tests to use the parameterized module
|
2023-05-24 11:10:05 +02:00 |
|
Asger F
|
818753e922
|
Merge pull request #13265 from asgerf/rb/delete-name-clash
Ruby: fix some name clashes between summarized callables
|
2023-05-24 11:08:56 +02:00 |
|
Erik Krogh Kristensen
|
796e71f8be
|
Merge pull request #13176 from MaxSchlueter/fixquery12
Fix "Introducing the JavaScript libraries" query12.qll and add test case
|
2023-05-24 10:56:53 +02:00 |
|
Tony Torralba
|
7d0b02e267
|
Merge pull request #13248 from atorralba/atorralba/java/nio-files-copy-models-fix
Java: Tweak java.nio.file.Files.copy models
|
2023-05-24 10:55:15 +02:00 |
|
Jeroen Ketema
|
5dc3789df2
|
Merge pull request #13266 from MathiasVP/modernize-print-ir-local-flow
C++: Modernize `PrintIR` for local dataflow
|
2023-05-24 10:54:10 +02:00 |
|
Michael Nebel
|
95916450d8
|
Merge pull request #13085 from michaelnebel/csharp/dbsetsummaries
C#: Entity framework. Convert DbSet summaries to MaD models.
|
2023-05-24 10:45:40 +02:00 |
|
Tom Hvitved
|
b486a4d52c
|
Merge pull request #13255 from hvitved/ruby/ssa-param-capture-input
Ruby: Include underlying SSA parameter definition in `localFlowSsaParamCaptureInput`
|
2023-05-24 10:40:54 +02:00 |
|
Asger F
|
8bd6f6c450
|
Ruby: change note
|
2023-05-24 10:22:22 +02:00 |
|
Asger F
|
6d1a4451fb
|
Ruby: update a test expectation
|
2023-05-24 10:15:51 +02:00 |
|
Jeroen Ketema
|
eea972b205
|
Merge pull request #13261 from jketema/inline-legacy-classes
Add forgotten classes related to the legacy `InlineExpectationsTest`class
|
2023-05-24 10:13:19 +02:00 |
|
Asger F
|
5b7f69cf0a
|
QL4QL: Fix a warning about repeating alert location
|
2023-05-24 09:55:09 +02:00 |
|
Maiky
|
27c1e47ece
|
Update ruby/ql/lib/change-notes/2023-05-06-pg.md
Co-authored-by: Jorge <46056498+jorgectf@users.noreply.github.com>
|
2023-05-24 01:44:51 +02:00 |
|
Mathias Vorreiter Pedersen
|
e1223d0b21
|
C++: Add security severity.
|
2023-05-23 15:01:33 -07:00 |
|
Mathias Vorreiter Pedersen
|
0dfc9b996d
|
C++: Promote 'cpp/overrun-write' out of experimental.
|
2023-05-23 14:57:42 -07:00 |
|
Robert Marsh
|
bad72c42c5
|
Merge pull request #13244 from MathiasVP/promote-product-flow
C++: Promote the product-dataflow library out of experimental
|
2023-05-23 16:23:59 -04:00 |
|
Robert Marsh
|
86ab9608cd
|
C++: add test comments
|
2023-05-23 16:15:43 -04:00 |
|
Mathias Vorreiter Pedersen
|
8daa8d78ff
|
Merge pull request #13246 from MathiasVP/fix-pointer-pointee-conflation-2
C++: Fix more pointer/pointee conflation
|
2023-05-23 12:03:29 -07:00 |
|
Maiky
|
8dca585207
|
Expected
|
2023-05-23 20:04:34 +02:00 |
|
Maiky
|
ad5355a04a
|
Pg Library, change note and Frameworks.qll
|
2023-05-23 19:49:03 +02:00 |
|
Arthur Baars
|
e33f3a6668
|
Merge pull request #13154 from aibaars/sync-dbscheme-py
JS/Ruby/QL/Python: sync dbscheme fragments
|
2023-05-23 19:14:29 +02:00 |
|
Mathias Vorreiter Pedersen
|
4b92a2a3d0
|
C++: Fix Code Scanning error.
|
2023-05-23 10:13:19 -07:00 |
|
Geoffrey White
|
2c5202018d
|
Swift: Add sinks.
|
2023-05-23 18:11:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
43459c16fd
|
C++: Modernize the PrintIRStoreSteps (and rename it to PrintIRFieldFlowSteps) after the use-use flow changes.
|
2023-05-23 10:02:54 -07:00 |
|
Mathias Vorreiter Pedersen
|
8ee7694e7d
|
C++: Modernize the PrintIRLocalFlow after the use-use flow changes.
|
2023-05-23 10:02:30 -07:00 |
|
Mathias Vorreiter Pedersen
|
0519ceeeaa
|
C++/C#: Sync identical files.
|
2023-05-23 10:00:26 -07:00 |
|
Mathias Vorreiter Pedersen
|
ccc9e09dbd
|
C++: Add mechanism to hide specific instructions and operands from PrintIR.
|
2023-05-23 10:00:09 -07:00 |
|
Mathias Vorreiter Pedersen
|
81dbfecbfc
|
C++: Promote the product-dataflow library out of experimental.
|
2023-05-23 09:48:50 -07:00 |
|
Mathias Vorreiter Pedersen
|
6fca8dfd39
|
Merge pull request #13260 from jketema/test-config-sig
C++: Rewrite flow test common to use inline expectation test module
|
2023-05-23 09:38:43 -07:00 |
|