Geoffrey White
|
208ae7aa01
|
Merge pull request #21514 from geoffw0/suspicioussizeof
C++: Fix an issue with cpp/suspicious-add-sizeof in BMN databases
|
2026-03-20 09:41:39 +00:00 |
|
Geoffrey White
|
92c9a8e146
|
Update cpp/ql/test/query-tests/Security/CWE/CWE-468/semmle/SuspiciousAddWithSizeof/buildless.cpp
|
2026-03-19 13:51:03 +00:00 |
|
Geoffrey White
|
0f794b57ed
|
C++: Fix the issue.
|
2026-03-19 13:16:16 +00:00 |
|
Geoffrey White
|
2e987f8d78
|
C++: Add test cases emulating cpp/suspicious-add-sizeof in buildless mode.
|
2026-03-19 13:00:58 +00:00 |
|
Geoffrey White
|
34f405f465
|
C++: Update test annotations.
|
2026-03-18 13:13:22 +00:00 |
|
Geoffrey White
|
a57f803b37
|
C++: Address false positive results.
|
2026-03-16 19:03:10 +00:00 |
|
Geoffrey White
|
1130870168
|
Merge remote-tracking branch 'upstream/main' into wrongtypeformat
|
2026-03-16 19:03:02 +00:00 |
|
Geoffrey White
|
eeb09ae389
|
C++: Fix typo.
|
2026-03-16 16:12:30 +00:00 |
|
Geoffrey White
|
3c4a386f3f
|
C++: Clarify two cases in the test.
|
2026-03-16 16:08:35 +00:00 |
|
Geoffrey White
|
6552c849f0
|
C++: Fix BMN issue in cpp/integer-multiplication-cast-to-long.
|
2026-03-11 17:49:36 +00:00 |
|
Geoffrey White
|
da7da80b2b
|
C++: Add pseudo-buildless test cases (some missing declarations).
|
2026-03-11 17:47:25 +00:00 |
|
Geoffrey White
|
da99d3660d
|
C++: Turns out we can simplify.
|
2026-03-06 11:53:43 +00:00 |
|
Geoffrey White
|
7f6fd34d46
|
C++: Expose a type resolution issue.
|
2026-03-06 11:34:57 +00:00 |
|
Geoffrey White
|
d23a3f821e
|
C++: Add a test case for WrongTypeFormatArguments involving code that's included twice.
|
2026-03-06 11:34:16 +00:00 |
|
Owen Mansel-Chan
|
aa28c94562
|
Remove double space after $ in inline expectations tests
|
2026-03-04 14:12:42 +00:00 |
|
Owen Mansel-Chan
|
ddebdad9e1
|
c++: Inline expectation should have space before $
|
2026-03-04 13:11:30 +00:00 |
|
Owen Mansel-Chan
|
badfa1a5c5
|
C++: Inline expectation should have space after $
This was a regex-find-replace from `// \$(?! )` (using a negative lookahead) to `// $ `.
|
2026-03-04 12:45:00 +00:00 |
|
Owen Mansel-Chan
|
b475f14575
|
Replace // $:tag with // $ tag in 2 tests
|
2026-03-04 12:44:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
cdb41588a9
|
C++: Fix some imports.
|
2026-02-27 16:22:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
266130b5cf
|
Merge pull request #21360 from microsoft/unbreak-changes
C++: Provide `BarrierGuard` API without a `Unit` column when instantiating non-parameterized `BarrierGuard`s
|
2026-02-24 16:57:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
ea9e4b3409
|
C++: Make a test slightly more verbose to catch this issue in the future.
|
2026-02-24 12:52:18 +00:00 |
|
Jeroen Ketema
|
197ee9b9a6
|
Revert "Merge pull request #21208 from jketema/jketema/softfloat"
This reverts commit 99de5d4238, reversing
changes made to 12bd709219.
|
2026-02-24 11:08:25 +01:00 |
|
Jeroen Ketema
|
a935d97190
|
C++: Update expected test results after extractor changes
|
2026-02-23 11:54:58 +01:00 |
|
Jeroen Ketema
|
9228304294
|
Merge branch 'main' into cpp/simple-range-analysis-phi-divide
|
2026-02-20 16:25:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
1dba99f47d
|
Merge pull request #21292 from microsoft/UncheckedLeaprYearAfterModification_Refactor_Upstream
C++: Refactor of UncheckedLeapYearAfterModification
|
2026-02-20 12:11:45 +00:00 |
|
REDMOND\brodes
|
38219f6ebb
|
C++: Fixing FP in unit tests.
|
2026-02-19 14:08:36 -05:00 |
|
Geoffrey White
|
d7250a8abe
|
Address more non-ascii characters.
|
2026-02-18 11:23:01 +00:00 |
|
Jeroen Ketema
|
e299cccb6e
|
C++: Simplify test
|
2026-02-16 19:09:30 +01:00 |
|
Jeroen Ketema
|
4efbc6ea9b
|
C++: Handle allowInterproceduralFlow correctly in case of recursive functions
|
2026-02-16 19:04:23 +01:00 |
|
Jeroen Ketema
|
366ebcad83
|
C++: Add cpp/return-stack-allocated-memory test case
|
2026-02-16 18:58:39 +01:00 |
|
Simon Friis Vindum
|
d0681c6ffb
|
C++: Divide nr of bounds between branches for phi nodes
|
2026-02-16 14:36:09 +01:00 |
|
Simon Friis Vindum
|
032c7ea034
|
C++: Include the actual number of lower/upper bounds for added context in expected files
|
2026-02-16 14:36:08 +01:00 |
|
Simon Friis Vindum
|
da527ffc19
|
C++: Add simple range analysis test with repeated if-else statements
|
2026-02-16 14:36:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
5ccd61ac97
|
C++: Respond to review comments.
|
2026-02-16 09:49:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
bfbb2eef6c
|
C++: Add a test showing that we infer a lower and upper bound for parameters of enum types.
|
2026-02-16 09:38:15 +00:00 |
|
Mathias Vorreiter Pedersen
|
2dc91a56eb
|
C++: Lower the treshold for max number of bounds to 2^29.
|
2026-02-12 09:44:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
6dd6bddff3
|
C++: Add more terms to make range analysis test timeout.
|
2026-02-12 09:44:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
a4dd4f91d4
|
C++: Also compute type bounds for accesses of an enum type.
|
2026-02-12 09:44:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
b14ece72be
|
C++: Add range analysis test demonstrating missing measuring bounds.
|
2026-02-11 16:58:18 +00:00 |
|
REDMOND\brodes
|
8e36316ebf
|
C++: Addressing Copilot PR suggestions.
|
2026-02-09 10:42:34 -05:00 |
|
REDMOND\brodes
|
36cc20989c
|
C++: Accept test changes (removing false negative)
|
2026-02-06 16:11:51 -05:00 |
|
REDMOND\brodes
|
a534d26449
|
C++: Accept test changes.
|
2026-02-06 16:07:44 -05:00 |
|
REDMOND\brodes
|
d9feadcfec
|
C++. Accept test changes. One false positive introduced, and one false negative remains.
|
2026-02-06 16:05:38 -05:00 |
|
REDMOND\brodes
|
6c171c804f
|
C++: Add more tests for modified years with and without leap year checks (UncheckedLeapYearAfterYearModification). Switch to using 'postprocess' for unit tests.
|
2026-02-06 16:03:25 -05:00 |
|
Mathias Vorreiter Pedersen
|
092d25451f
|
C++: Fix Copilot comments.
|
2026-02-03 11:45:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
40a58135c2
|
C++: Accept test changes.
|
2026-02-03 11:30:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
5531ef9bc1
|
C++: Accept test changes.
|
2026-02-03 11:17:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
208cf716dc
|
C++: Add tests with tests for remote flow sources from the Win32 API and from the Azure SDK.
|
2026-02-03 11:13:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
16670511de
|
Merge pull request #21239 from MathiasVP/logical-binary-fix-guards-cpp
C++: Ensure that there are AST `GuardCondition`s for `||` and `&&`
|
2026-01-30 13:50:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
1b1c9c680c
|
Merge pull request #21227 from MathiasVP/postfix-fix
C++: Get rid of an ugly workaround in dataflow
|
2026-01-29 12:25:02 +00:00 |
|