Stephan Brandauer
|
6e21f14c09
|
Java: update extraction query metadata
|
2023-05-25 14:16:03 +02:00 |
|
Stephan Brandauer
|
7c3bc26c41
|
Java: make input an actual string, not an integer
|
2023-05-25 14:15:59 +02:00 |
|
Stephan Brandauer
|
185ad101b3
|
Java: add application-mode and framework-mode tags to extraction queries
|
2023-05-25 14:15:50 +02:00 |
|
Taus
|
9b30f9a476
|
Java: Add negative characteristic for static calls
|
2023-05-25 14:15:49 +02:00 |
|
Taus
|
6fc16574b3
|
Java: Add QL support for automodel application mode
|
2023-05-25 14:15:49 +02:00 |
|
Paolo Tranquilli
|
5e66885a8e
|
Swift: add change note
|
2023-05-25 14:00:04 +02:00 |
|
erik-krogh
|
9f5bf8fb22
|
also fix the first code-block
|
2023-05-25 13:56:29 +02:00 |
|
erik-krogh
|
765076bcba
|
fix whitespace in the samples in ReDoS.qhelp
|
2023-05-25 13:28:39 +02:00 |
|
Paolo Tranquilli
|
51f1a5dcc8
|
Swift: remove getOpaqueExpr from OpenExistentialExpr's children
|
2023-05-25 13:05:21 +02:00 |
|
Paolo Tranquilli
|
7b76aa34bd
|
Swift: fix CFG inconsistency on TapExpr
|
2023-05-25 13:05:21 +02:00 |
|
Paolo Tranquilli
|
b26b0a6e43
|
Swift: remove property wrapper CFG inconsistencies
|
2023-05-25 13:05:21 +02:00 |
|
Sim4n6
|
52dd247a81
|
Removed redundant cast
|
2023-05-25 11:55:13 +01:00 |
|
Paolo Tranquilli
|
7878bc3cc1
|
Swift: remove property wrapper AST inconsistencies
|
2023-05-25 12:15:22 +02:00 |
|
Paolo Tranquilli
|
5de8934525
|
Merge pull request #13277 from github/redsun82/swift-consistency-accept
Swift: add consistency check and accept results for the moment
|
2023-05-25 11:56:54 +02:00 |
|
Tony Torralba
|
a276cc3094
|
Convert all command injection sinks to MaD format
|
2023-05-25 11:41:32 +02:00 |
|
Paolo Tranquilli
|
f5070bb082
|
Merge pull request #13282 from github/redsun82/swift-change-note-check
Swift: turn change note check on
|
2023-05-25 11:23:10 +02:00 |
|
Paolo Tranquilli
|
d1be942f04
|
Swift: turn change note check on
|
2023-05-25 11:04:21 +02:00 |
|
Paolo Tranquilli
|
ac31209233
|
Swift: add change notes to consistency queries
|
2023-05-25 10:56:25 +02:00 |
|
Sim4n6
|
09c97ce0da
|
Added one more example to the qhelp
|
2023-05-25 09:41:22 +01:00 |
|
Sim4n6
|
7d68f6afc9
|
added ActiveSupport::Multibyte::Chars normalize() sink
|
2023-05-25 09:21:55 +01:00 |
|
Paolo Tranquilli
|
8d656a996b
|
Swift: add QLdoc to AST consistency checks
|
2023-05-25 09:56:39 +02:00 |
|
Tony Torralba
|
ca83b7c0f2
|
Merge pull request #13280 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2023-05-25 09:33:09 +02:00 |
|
Sim4n6
|
d772bb213a
|
Added three more Unicode Normalization sinks
|
2023-05-25 03:10:00 +01:00 |
|
github-actions[bot]
|
5be4f6e58b
|
Add changed framework coverage reports
|
2023-05-25 00:16:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
ec192d621c
|
C++: Whitespace commit to make qhelp show up in diff.
|
2023-05-24 16:13:42 -07:00 |
|
Mathias Vorreiter Pedersen
|
ebc1d5feff
|
Merge branch 'main' into rdmarsh2/cpp/improve-constant-off-by-one
|
2023-05-24 16:07:08 -07:00 |
|
Mathias Vorreiter Pedersen
|
298013a57e
|
C++: Add in-barrier on sources to reduce duplication.
|
2023-05-24 16:02:27 -07:00 |
|
Mathias Vorreiter Pedersen
|
64d7b4923d
|
C++: Prune flow states based on 'PointerArithmeticToDerefConfig'.
|
2023-05-24 16:02:17 -07:00 |
|
Mathias Vorreiter Pedersen
|
f9a464605b
|
Merge pull request #13226 from rdmarsh2/rdmarsh2/cpp/cobo-neq-refinement
C++: fix equality refinement in new range analysis
|
2023-05-24 15:19:02 -07:00 |
|
Mathias Vorreiter Pedersen
|
90824d01b4
|
C++: Add change note.
|
2023-05-24 14:39:05 -07:00 |
|
Robert Marsh
|
7404bd9c4b
|
Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement
|
2023-05-24 14:13:38 -04:00 |
|
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 |
|