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
Calum Grant
0ad2e193e5
C++: Update test case
2024-09-26 09:31:18 +01:00
Calum Grant
31684d2548
C++: Remove FPs in cpp/wrong-number-format-arguments due to BMN
2024-09-26 09:27:59 +01:00
Calum Grant
6a0212ea44
C++: Add regression test
2024-09-26 09:27:51 +01:00
Jeroen Ketema
a065434dd7
Merge pull request #16811 from porcupineyhairs/curlssl
...
CPP: Disabled SSL certificate verification
2024-09-19 20:02:17 +02:00
Porcupiney Hairs
57d1035acd
Include changes from review
2024-09-19 03:32:34 +05:30
Tom Hvitved
ed9008a064
Update expected test output
2024-09-18 13:51:02 +02:00
Porcupiney Hairs
e768e2e5fe
Include changes from review
2024-09-16 05:17:11 +05:30
Jeroen Ketema
087a8484aa
Merge pull request #17430 from jketema/fix-finally-inconsistency
...
C++: Fix `__finally` related inconsistencies
2024-09-13 15:27:56 +02:00
Jeroen Ketema
ca10953761
C++: Update syntax zoo expected test results
2024-09-10 21:25:29 +02:00
Jeroen Ketema
5754f8bac8
C++: Fix __finally related inconsistencies
2024-09-10 20:39:13 +02:00
Ben Rodes
58779e1b90
Merge branch 'main' into brodes/overflow-buffer-fixes-upstream
2024-09-10 13:46:24 -04:00
Jeroen Ketema
500a2a0738
C++: Fix IR inconsistency due to throwing __except block
...
The fix consists of three parts:
* Ensure that an `Unwind` instruction is generated for functions that contain
a Microsoft `__try` statement, or a function that must throw.
* Do not manually introduce `Unwind` instructions for `__except` blocks, but
depend on the `Unwind` that we now insert in the function.
* Add missing `getExceptionSuccessorInstruction` predicate to
`TranslatedMicrosoftTryExceptHandler`
2024-09-10 12:41:43 +02:00
Jeroen Ketema
dfa16423c0
C++: Add IR inconsistency test
2024-09-09 21:50:42 +02:00
Jeroen Ketema
6e0b5bcb63
Merge pull request #17414 from MathiasVP/add-more-try-except-testcases
...
C++: Add more IR inconsistency tests
2024-09-09 18:10:42 +02:00
Mathias Vorreiter Pedersen
353cd8cc74
C++: Add more IR inconsistency tests.
2024-09-09 16:37:55 +01:00
Jeroen Ketema
915d24c62f
C++: Re-introduce the original version of the many_defs_per_use IR test
...
See: 28cff2ea20
2024-09-06 17:38:29 +02:00
Jeroen Ketema
b73b8682b4
Merge pull request #17371 from jketema/correct-include
...
C++: Update expected test results after extractor changes
2024-09-06 09:38:06 +02:00
REDMOND\brodes
1005a89007
Updating test cases.
2024-09-05 15:25:23 -04:00
Mathias Vorreiter Pedersen
25d7f17efc
C++: Add testcase with IR inconsistencies.
2024-09-05 19:32:53 +01:00
Jeroen Ketema
78c6c09912
Merge pull request #13560 from am0o0/amammad-cpp-bombs
...
C++: Decompression Bombs
2024-09-05 20:01:02 +02:00
Jeroen Ketema
e891c5a882
C++: Fix expected test results
2024-09-05 17:48:11 +02:00
am0o0
faef6359dd
add '// BAD' comment for the zstd sink
2024-09-05 17:05:21 +02: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
Jeroen Ketema
5b65f98e2c
C++: Update expected test results after extractor changes
...
The updated test results look more correct, as the documentation of
`#include_next` [1] that it should start looking in the next directory
in the search path. Before this update, the frontend was actually
looking in the current directory first, which is incorrect.
[1] https://gcc.gnu.org/onlinedocs/cpp/Wrapper-Headers.html
2024-09-05 15:17:43 +02:00
Simon Friis Vindum
5950af390d
Merge pull request #17351 from paldepind/swap-member-data-flow
...
C++: Make swap member functions data-flow functions
2024-09-05 11:39:16 +02:00
Jeroen Ketema
b6e38ff862
Merge pull request #17342 from jketema/coroutine
...
C++: Fix coroutine IR inconsistencies
2024-09-05 10:15:16 +02:00
Jeroen Ketema
3aa68b34bb
C++: Fix zstd and clean up test
2024-09-04 22:25:44 +02: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
Simon Friis Vindum
f066f21751
C++: Make swap member functions data-flow functions
2024-09-04 13:55:19 +02:00
Jeroen Ketema
8fe0d0a045
C++: Improve query output
2024-09-04 13:22:02 +02:00
Erik Krogh Kristensen
4258119ba3
Merge branch 'main' into del-deps-sep-2024
2024-09-04 12:43:41 +02:00
Jeroen Ketema
c048401ca7
C++: Clean up Brotli test
2024-09-04 11:40:32 +02:00
Jeroen Ketema
0f98e292ed
C++: Cleanup minizip test
2024-09-04 11:19:22 +02:00
Jeroen Ketema
09f6576e6b
C++: Simplify libarchive test
2024-09-04 11:04:21 +02:00
Jeroen Ketema
078e63524c
C++: Remove code that is irrelevant for the zlib test
2024-09-04 10:48:25 +02:00
Jeroen Ketema
ad3605c595
C++: Minor test clean up
2024-09-04 10:26:53 +02:00
Jeroen Ketema
d8a70d8d58
C++: Add test annotations
2024-09-04 10:23:51 +02:00
Jeroen Ketema
751e7e6bfb
C++: Remove useless function bodies from tests
2024-09-04 10:03:19 +02:00
Jeroen Ketema
d526f1d081
C++: Disentangle confusing test results by declaring only a single main
2024-09-04 09:51:03 +02:00
Jeroen Ketema
50d9e77339
C++: Move experimental files into the correct locations
2024-09-04 09:33:27 +02:00
Simon Friis Vindum
04f4039adc
Merge pull request #17354 from paldepind/realloc-data-flow
...
C++: Make realloc a data-flow function
2024-09-04 09:04:12 +02:00
erik-krogh
0fdd06fff5
use my script to delete outdated deprecations
2024-09-03 20:30:58 +02:00
Jeroen Ketema
8ca52f278a
C++: Fix coroutine IR inconsistencies
...
While here, remove some dead code related to fixed points from the database
scheme.
2024-09-03 18:12:36 +02:00
Jeroen Ketema
62766f68fc
Merge pull request #17138 from jketema/generic
...
C++: Support C11 `_Generic` expressions
2024-09-03 17:26:50 +02:00
am0o0
81283d59ab
remove more unused imports, add tests for zstd, add flow steps for zstd
...
zstd is not finilized
2024-09-03 15:26:38 +02:00
am0o0
6c97096642
remove unused imports, add tests for libarchive
2024-09-03 14:16:25 +02:00
