Calum Grant
|
fd7469848e
|
C++: Test case for cpp/badly-bounded-write
|
2024-12-05 13:16:59 +00:00 |
|
Jeroen Ketema
|
1420f564a5
|
C++: Update expected test results
|
2024-12-03 19:18:55 +01:00 |
|
Tom Hvitved
|
cc94c42f87
|
Address review comments
|
2024-10-29 20:36:16 +01:00 |
|
Tom Hvitved
|
4750b0de94
|
C++: Post-processing query for inline test expectations
|
2024-10-29 13:35:36 +01:00 |
|
Calum Grant
|
c5a082fd8e
|
C++: Fix CWE-022
|
2024-10-18 19:45:29 +01:00 |
|
Jeroen Ketema
|
b087fdecfe
|
Merge pull request #17678 from MathiasVP/modernize-unclear-array-index-validation
C++: Modernize `cpp/unclear-array-index-validation`
|
2024-10-09 15:55:31 +02:00 |
|
Jeroen Ketema
|
f1e22687ab
|
C++: Fix ODR violations in tests
In QLtest we do not have linkage awareness, so having multiple functions with
the same name in the same test causes ODR violations.
|
2024-10-08 20:09:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
d6618edf01
|
C++: Accept test changes.
|
2024-10-08 10:08:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
6ca978e1cc
|
C++: Add FP test.
|
2024-10-08 10:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
823d5acd69
|
C++: Spacing.
|
2024-10-08 10:05:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
8bb21e1b49
|
C++: Accept test changes.
|
2024-10-08 10:05:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
c3d9ea1820
|
C++: Add FP.
|
2024-10-08 10:05:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
afb5e4f841
|
C++: Add test spacing.
|
2024-10-08 10:05:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
f6f5f5d4b4
|
C++: Accept test changes.
|
2024-10-08 10:05:04 +01:00 |
|
Calum Grant
|
8b536f54fd
|
Merge pull request #17481 from github/calumgrant/bmn/uninitialized-local
C++: Remove FPs from cpp/uninitialized-local when encountered extraction errors
|
2024-10-02 09:29:15 +01:00 |
|
Calum Grant
|
a9b3c0d91b
|
C++: Address review comments
|
2024-10-01 15:47:12 +01:00 |
|
Calum Grant
|
4b5aa1497b
|
C++: Implement Function::hasErrors()
|
2024-10-01 11:00:44 +01:00 |
|
Calum Grant
|
60abea17e6
|
C++: Test for cpp/uninitialized-local
|
2024-10-01 10:32:17 +01:00 |
|
REDMOND\brodes
|
92c8d39ba3
|
Updating expected file, false positives now resolved.
|
2024-09-27 12:39:50 -04:00 |
|
REDMOND\brodes
|
26e58532ee
|
Adding tests and updated expected file with false positives to correct.
|
2024-09-27 12:37:09 -04:00 |
|
REDMOND\brodes
|
1005a89007
|
Updating test cases.
|
2024-09-05 15:25:23 -04:00 |
|
Ben Rodes
|
8ab22feae1
|
Update cpp/ql/test/query-tests/Security/CWE/CWE-119/semmle/tests/tests.cpp
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2024-09-05 10:07:19 -04:00 |
|
REDMOND\brodes
|
cc953c87d9
|
Added test case to demonstrate type error corrected in this branch.
|
2024-09-04 12:41:05 -04:00 |
|
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 |
|