Jeroen Ketema
22b8e2cbb4
C++: Add missing parent scope cases
2024-10-15 17:16:58 +02:00
Calum Grant
fe85e007b3
C++: Add test for cpp/wrong-type-format-argument
2024-10-15 16:09:35 +01:00
Jeroen Ketema
168f7f5d34
C++: Add support for C++ requires expressions
2024-10-15 13:44:17 +02:00
Jeroen Ketema
f1a350c96a
C++: Print handler parameters in PrintAST
2024-10-10 20:47:12 +02:00
Geoffrey White
b692b1b282
C++: Autoformat.
2024-10-10 17:26:38 +01:00
Geoffrey White
cedfeee6d7
Merge branch 'main' into aliasperf2
2024-10-10 17:25:45 +01:00
Mathias Vorreiter Pedersen
e7da53d838
Merge pull request #17715 from MathiasVP/fopen-taint
...
C++: Add taint through `fopen`
2024-10-10 15:46:46 +01:00
Jeroen Ketema
8352d17e2c
Merge pull request #17693 from jketema/concepts
...
C++: Add a skeleton class for requires expressions
2024-10-09 16:54:33 +02: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
Mathias Vorreiter Pedersen
338e82064e
C++: Add a taint model for 'fopen' and accept test changes.
2024-10-09 14:40:26 +01:00
Mathias Vorreiter Pedersen
201842d2f9
C++: Add test with missing flow through 'fopen'.
2024-10-09 14:39:24 +01:00
Jeroen Ketema
723236d15b
C++: Add a skeleton class for requires expressions
2024-10-09 02:16:20 +02:00
Jeroen Ketema
c90d0faaf6
C++: Fix ODR violations in dataflow tests
2024-10-08 20:34:20 +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
Geoffrey White
7ff376b346
Merge branch 'main' into aliasperf2
2024-10-08 15:08:43 +01:00
Geoffrey White
4a131dd8f1
C++: Implement dbartol's suggestion.
2024-10-08 14:44:45 +01:00
Geoffrey White
f9fa52fe77
C++: Disabled the change again.
2024-10-08 14:43:56 +01: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
Tom Hvitved
953461d1aa
C++: Update expected test output
2024-10-04 08:35:31 +02: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
Jeroen Ketema
66d156d386
Merge pull request #17608 from jketema/macro-expansion-tests
...
C++: Add more macro expansion tests
2024-10-01 11:19:49 +02:00
Jeroen Ketema
e73d1c7b76
C++: Add more macro expansion tests
2024-09-28 22:32:36 +02: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
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
