REDMOND\brodes
|
e4d29905a9
|
Formatting and updating tests.
|
2024-09-04 11:16:24 -04:00 |
|
REDMOND\brodes
|
abd0a076a8
|
Addressing false positive with strncpy.
|
2024-09-04 11:16:21 -04:00 |
|
Jeroen Ketema
|
ae7bf6c97d
|
C++: Update expected test results after #17347
|
2024-09-02 21:17:55 +02:00 |
|
Simon Friis Vindum
|
ee6c255a7c
|
Merge pull request #17328 from paldepind/tweak-unbounded-barrier
C++: Tweak the `bounded` barrier
|
2024-09-02 14:30:44 +02:00 |
|
Simon Friis Vindum
|
660869e834
|
C++: Add test for cpp/uninitialized-local and va_copy
|
2024-09-02 13:25:02 +02:00 |
|
Simon Friis Vindum
|
e7f059ae55
|
C++: Tweak the bounded barrier
|
2024-08-29 10:32:31 +02:00 |
|
Simon Friis Vindum
|
edeefe5bb6
|
Merge pull request #17298 from paldepind/model-functions-that-dont-throw
C++: Add basic modeling of functions that don't throw
|
2024-08-28 19:50:31 +02:00 |
|
Simon Friis Vindum
|
128053e214
|
C++: Add basic modeling of functions that don't throw
|
2024-08-26 09:37:44 +02:00 |
|
Tom Hvitved
|
c92c96fa78
|
Data flow: Compute local big step relation per stage
|
2024-08-26 09:15:27 +02:00 |
|
Simon Friis Vindum
|
e4ce003e87
|
C++: Fix tests and add an actual true negative
|
2024-08-21 09:44:45 +02:00 |
|
Simon Friis Vindum
|
1959e1929e
|
C++: Reuse bounded predicate in TaintedAllocationSize query
|
2024-08-19 08:23:32 +02:00 |
|
Simon Friis Vindum
|
5e8ac5ef0d
|
C++: Update documentation for cpp/uncontrolled-allocation-size to clarify its scope
|
2024-08-13 16:27:04 +02:00 |
|
Mathias Vorreiter Pedersen
|
b640bdccdc
|
C++: Accept test changes.
|
2024-07-25 17:13:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
d2f5734ac5
|
C++: Add FP.
|
2024-07-25 17:08:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
b3bffb6826
|
Merge branch 'main' into phi-escape-5-follow-up-2
|
2024-07-24 15:22:40 +01:00 |
|
Geoffrey White
|
b4fa23d731
|
C++: Address false positive results in template instantiations.
|
2024-07-22 16:34:39 +01:00 |
|
Geoffrey White
|
8262330e4d
|
C++: Extend the placement new test cases for cpp/incorrect-allocation-error-handling.
|
2024-07-22 12:38:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
7b8301ac7a
|
C++: Accept more test changes.
|
2024-07-17 15:44:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c8e0c453c
|
C++: Fix more inconsistencies.
|
2024-07-17 15:44:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
45ba0c3319
|
Merge pull request #16907 from MathiasVP/phi-escape-5
C++: Add a new `MemoryLocation` to represent sets of `Allocation`s
|
2024-07-17 15:44:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
510bfb911a
|
C++: Accept test changes.
|
2024-07-16 13:05:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
983acf23bc
|
C++: Add more FPs.
|
2024-07-16 13:04:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
68e3be187a
|
C++: Accept test changes.
|
2024-07-16 13:03:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
f5ec2315d7
|
C++: Add a FP from DCA.
|
2024-07-16 13:02:38 +01:00 |
|
Geoffrey White
|
0344381120
|
Merge remote-tracking branch 'upstream/main' into docsforautofix
|
2024-07-10 11:17:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
48edb77300
|
C++: Add 'cpp/iterator-to-expired-container' FP.
|
2024-07-09 11:24:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
0e6b2f0f53
|
C++: Accept query test changes.
|
2024-07-06 12:27:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
aad233b776
|
C++: Add FP test.
|
2024-07-05 15:52:10 +01:00 |
|
Geoffrey White
|
5d898727c0
|
C++: Add the examples to the test.
|
2024-07-04 17:11:11 +01:00 |
|
Geoffrey White
|
4de43e1bfa
|
C++: Add the examples to the test.
|
2024-07-04 17:11:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d58cf6208
|
C++: Accept query test changes.
|
2024-07-04 15:15:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
8e18e7d4e6
|
Merge pull request #16791 from MathiasVP/collection-content-2
C++: Add support for `Element` content
|
2024-07-04 08:52:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
982f845be7
|
C++: Accept test changes.
|
2024-06-25 09:31:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
c8f3c1a798
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-06-21 14:04:06 +01:00 |
|
Jeroen Ketema
|
66077dc38d
|
C++: Ignore gets'es with incorrect parameter counts
|
2024-06-04 11:15:07 +02:00 |
|
Mathias Vorreiter Pedersen
|
3f66b635a4
|
Merge pull request #16562 from aschackmull/dataflow/update-qltest-expected
Dataflow: Fix qltests following https://github.com/github/codeql/pull/16511
|
2024-05-22 16:16:04 +01:00 |
|
Anders Schack-Mulligen
|
e7f24318cd
|
C++: Accept qltest .expected file changes.
|
2024-05-22 15:36:30 +02:00 |
|
Anders Schack-Mulligen
|
f977a4206a
|
C++: Accept qltest .expected file changes (interesting).
|
2024-05-22 15:35:28 +02:00 |
|
Mathias Vorreiter Pedersen
|
af81698fa8
|
C++: Fix FP and accept test changes.
|
2024-05-22 12:34:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
91f860ba4f
|
C++: Add 'cpp/use-of-unique-pointer-after-lifetime-ends' FP.
|
2024-05-22 12:33:34 +01:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
erik-krogh
|
a51d24cbab
|
apply suggestions from code review, and the examples to the test
|
2024-05-08 19:34:50 +02:00 |
|
erik-krogh
|
3989717878
|
Merge branch 'main' into cpp-path
|
2024-05-07 23:01:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
99940a6084
|
Merge pull request #16440 from MathiasVP/fix-iterator-to-expired-container-fp-2
C++: Fix location of SSA def for local variable addresses
|
2024-05-07 14:39:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
8e95395382
|
C++: Accept more test changes.
|
2024-05-07 12:55:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
61fb89721a
|
C++: Add 'cpp/uninitialized-local' FP.
|
2024-05-07 12:19:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
53c2d2f1e7
|
C++: Accept test changes.
|
2024-05-07 09:10:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
41b95a1938
|
Merge pull request #16416 from MathiasVP/add-iterator-to-expired-container-fp-2
C++: Add `cpp/iterator-to-expired-container` FP
|
2024-05-07 09:10:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
7a1b85aa56
|
C++: Add FP test.
|
2024-05-03 16:04:21 +01:00 |
|
Geoffrey White
|
c0cf1c7c8c
|
Merge pull request #16402 from geoffw0/stringlifetimedoc
C++: Improve UseOfStringAfterLifetimeEnds doc.
|
2024-05-03 15:04:07 +01:00 |
|