Jeroen Ketema
f9554e1542
C++: Give proper getNames to more types and fix QLdoc
2025-11-10 10:11:01 +01:00
Mathias Vorreiter Pedersen
dfdc2a6a15
C++: Delete an incorrect comment.
2025-11-08 16:45:45 +00:00
Mathias Vorreiter Pedersen
3d6b3a31ac
C++: Also join on the 'namespace'.
2025-11-08 16:45:39 +00:00
Mathias Vorreiter Pedersen
bfe2b7dc44
C++: Use the new predicate to remove a cartesian-like join.
2025-11-08 16:43:43 +00:00
Mathias Vorreiter Pedersen
a922d5099f
C++: Factor out some conjuncts from 'interpretElement0' and into a new predicate.
2025-11-08 16:42:16 +00:00
Mathias Vorreiter Pedersen
74b774eec5
Merge pull request #20769 from MathiasVP/add-more-flow-models
...
C++: Add a few more models
2025-11-08 16:39:29 +00:00
github-actions[bot]
10ae374a82
Post-release preparation for codeql-cli-2.23.4
2025-11-07 18:18:09 +00:00
Michael B. Gale
0cbc9358de
Revert C++ range analysis change note
2025-11-07 17:39:40 +00:00
Mathias Vorreiter Pedersen
6a2debba96
C++: Fix bad magic.
2025-11-07 17:38:18 +00:00
github-actions[bot]
6342da9503
Release preparation for version 2.23.4
2025-11-07 17:37:29 +00:00
Michael B. Gale
eb32c32d4c
Merge pull request #20777 from github/revert-20745-release-prep/2.23.4
...
Revert "Release preparation for version 2.23.4"
2025-11-07 17:35:35 +00:00
Mathias Vorreiter Pedersen
56b9566299
C++: Fix mistakes in models of internal strcat and strcpy functions.
2025-11-07 17:29:48 +00:00
Michael B. Gale
6ce8f07290
Revert "Release preparation for version 2.23.4"
2025-11-07 17:28:28 +00:00
Mathias Vorreiter Pedersen
f163d015d5
C++: Clean up comments.
2025-11-07 17:27:25 +00:00
Enrico Steffinlongo
e7c029ae7d
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
...
This reverts commit a0a6f288b532f21d6d49
2025-11-07 16:49:47 +00:00
Mathias Vorreiter Pedersen
f0da0d98a2
C++: Add a few more models I noticed while here.
2025-11-06 17:00:19 +00:00
Mathias Vorreiter Pedersen
2b6a75f4ad
C++: Accept test changes.
2025-11-06 16:57:11 +00:00
Mathias Vorreiter Pedersen
1d5d272822
C++: Add a few more models.
2025-11-06 16:55:51 +00:00
Mathias Vorreiter Pedersen
0607100310
C++: Add tests with missing flow.
2025-11-06 16:54:54 +00:00
github-actions[bot]
4014df9a6e
Post-release preparation for codeql-cli-2.23.4
2025-11-04 17:57:52 +00:00
github-actions[bot]
64fcdd1f2f
Release preparation for version 2.23.4
2025-11-03 14:52:23 +00:00
Nora Dimitrijević
a0975e7e19
Constrain location overrides to actual sources/sinks
2025-10-28 09:42:20 +01:00
Nora Dimitrijević
96e1536769
C++/SqlTainted
2025-10-28 09:42:17 +01:00
Nora Dimitrijević
ec63547925
C++/UseOfHttp
2025-10-28 09:42:03 +01:00
Nora Dimitrijević
a65d4d5997
C++/TaintedAllocationSize
2025-10-28 09:42:01 +01:00
Nora Dimitrijević
f3d51e0151
C++/ArithmeticUncontrolled
2025-10-28 09:41:57 +01:00
Nora Dimitrijević
1321cbb021
C++/DecompressionBombs
2025-10-28 09:41:55 +01:00
Nora Dimitrijević
bbe2bf2b7f
C++/CleartextTransmission
2025-10-28 09:41:52 +01:00
Nora Dimitrijević
b0180409f4
C++/CleartextFileWrite
2025-10-28 09:41:49 +01:00
Nora Dimitrijević
d89aa0f19d
C++/CleartextBufferWrite
2025-10-28 09:41:46 +01:00
Nora Dimitrijević
17b261a506
C++/AuthenticationBypass
2025-10-28 09:41:43 +01:00
Nora Dimitrijević
0ed27f4e81
C++/CleartextSqliteDatabase
2025-10-28 09:41:40 +01:00
Nora Dimitrijević
f7a1a4cf75
C++/NonConstantFormat
2025-10-28 09:41:38 +01:00
Nora Dimitrijević
2756e8255f
C++/UnboundedWrite
2025-10-28 09:41:35 +01:00
Nora Dimitrijević
a4ac0392a6
C++/OverflowDestination
2025-10-28 09:41:32 +01:00
Nora Dimitrijević
65d79ff6fc
C++/ExecTainted
2025-10-28 09:41:29 +01:00
Nora Dimitrijević
464f6cb096
C++/ConstantSizeArrayOffByOne
2025-10-28 09:41:26 +01:00
Nora Dimitrijević
ad31f1ab6d
C++/WordexpTainted
...
Same file usees source and sink as endpoints
2025-10-28 09:39:19 +01:00
Simon Friis Vindum
d1ea1af945
C++: Make small trivial tweaks
2025-10-24 16:16:57 +02:00
Simon Friis Vindum
5709964fbf
C++: Simplify boundFromGuard
...
The last disjunct in `boundFromGuard` is moved into `linearBoundFromGuard`. This avoids repeating the calculation for `boundValue`.
`getBounds` and `getExprTypeBounds` are turned into predicates with result. Their middle argument was the "output" which was confusing.
2025-10-24 16:12:05 +02:00
Simon Friis Vindum
383e6a44aa
C++: Use or instead of if
...
The proposition in the true branch implied the condition, so `or` is more appropriate. Also eliminated an existentially quantified variable.
2025-10-24 16:08:35 +02:00
Simon Friis Vindum
3af9885489
C++: Fix typos in tests
2025-10-24 16:04:34 +02:00
Simon Friis Vindum
17e0dec08a
C++: Add toString for RelationStrictness
...
This helps for debugging.
2025-10-24 16:01:38 +02:00
Simon Friis Vindum
a0a6f288b5
Merge pull request #20645 from paldepind/cpp/range-analysis-measure
...
C++: Range analysis measure bounds
2025-10-24 15:30:07 +02:00
Anders Schack-Mulligen
f257c7a570
Guards: Align the SSA signature with the one from shared SSA.
2025-10-23 10:23:22 +02:00
Anders Schack-Mulligen
8a3f62b9b6
Merge pull request #20558 from aschackmull/csharp/guards3
...
C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness
2025-10-23 08:43:14 +02:00
Simon Friis Vindum
f207404b0d
C++: Accept test changes
2025-10-21 16:03:12 +02:00
Simon Friis Vindum
0badcfd663
C++: Address review comments
2025-10-21 09:47:58 +02:00
Ben Rodes
2b683c210f
Merge branch 'main' into santander-java-crypto-check
2025-10-18 17:56:43 -04:00
Owen Mansel-Chan
66f95bcbcd
Merge pull request #20603 from owen-mc/update-broken-algo-qhelp
...
Many languages: Update broken algo qhelp
2025-10-17 12:30:43 +01:00
