Geoffrey White
|
89355991df
|
C++: Additional test cases.
|
2025-02-20 16:28:35 +00:00 |
|
Geoffrey White
|
e77ebf0715
|
C++: Test spacing.
|
2025-02-20 16:23:35 +00:00 |
|
Geoffrey White
|
3954f5e45e
|
C++: Add some test cases.
|
2025-02-20 15:21:25 +00:00 |
|
Geoffrey White
|
c36e91855f
|
C++: Fix a test case.
|
2025-02-20 15:21:17 +00:00 |
|
Jeroen Ketema
|
89bbef935d
|
Merge pull request #18672 from jketema/codeblock-name
C++: Update expected test results after extractor changes
|
2025-02-04 13:39:54 +01:00 |
|
Jeroen Ketema
|
1591a56aab
|
C++: Update expected test results after extractor changes
|
2025-02-04 13:19:49 +01:00 |
|
Jeroen Ketema
|
25d8f0e161
|
Merge branch 'main' into calumgrant/bmn/wrong-type-format-arg-linkage
|
2025-02-03 11:23:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f35fea3bee
|
Merge pull request #18629 from MathiasVP/fix-more-fps-in-buffer-overflow
C++: Fix more FPs in `cpp/overflow-buffer`
|
2025-01-30 18:28:10 +00:00 |
|
Jeroen Ketema
|
94608c5996
|
C++: Update expected test results
This seemed to have slipped through earlier.
|
2025-01-30 16:53:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
9fa3ff74cc
|
C++: Accept test changes.
|
2025-01-29 18:32:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
3591f84a50
|
C++: Add lots of tests for CWE-119 involving unions and structs.
|
2025-01-29 18:11:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
4b2c7ef03f
|
Merge pull request #18615 from MathiasVP/fix-fp-buffer-overflow
C++: Fix FPs in `cpp/overflow-buffer`
|
2025-01-29 12:12:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
48cae7e7ed
|
C++: Accept test changes after previous commit.
|
2025-01-29 11:04:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
373b38e881
|
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>
|
2025-01-29 11:03:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
ff9a4d02f0
|
Merge pull request #18592 from MathiasVP/fix-enclosing-callable-cpp
C++: Don't generate dataflow nodes for functions with summaries
|
2025-01-28 16:57:44 +00:00 |
|
Mathias Vorreiter Pedersen
|
c9a3cf4bd0
|
C++: Accept test changes.
|
2025-01-28 15:48:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
1643a66183
|
C++: Add 'cpp/overflow-buffer' FP tests.
|
2025-01-28 15:44:53 +00:00 |
|
Calum Grant
|
cc35ec49e4
|
C++: Remove linker-awareness FPs
|
2025-01-28 14:06:38 +00:00 |
|
Calum Grant
|
6df8fdc233
|
C++: Add test for cpp/wrong-type-format-argument
|
2025-01-28 14:04:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
d40322f9eb
|
C++: (Bugfix 3) Don't conflate summarized callables and source callables in 'nodeGetEnclosingCallable'.
|
2025-01-28 13:59:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
06bc8add9d
|
C++: (Bugfix 2) Don't remap isParameterOf.
|
2025-01-28 13:59:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
01d7ab93e2
|
C++: Add consistency check to the MaD folder.
|
2025-01-28 13:59:14 +00:00 |
|
Geoffrey White
|
6337f5a08b
|
Merge pull request #18586 from geoffw0/floatguards
C++: Test and (perhaps) fix an issue with guards on floating point comparisons.
|
2025-01-28 09:05:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e44201ba8
|
C++: Remap calls to source functions to the summarized function.
|
2025-01-27 16:58:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
ad80b36074
|
C++: Don't generate parameter nodes for bodyless parameters when there is a summary of the enclosing function.
|
2025-01-24 20:16:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
cda629b204
|
C++: Accept test changes. Notice the consistency failure.
|
2025-01-24 20:13:21 +00:00 |
|
Geoffrey White
|
7664fd16e7
|
C++: Add more test cases for guards.
|
2025-01-24 17:51:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
ccb28ed0b3
|
Merge pull request #18556 from MathiasVP/remove-conflation-from-pure-functions
C++: Remove pointer/pointee conflation from models of "pure" functions
|
2025-01-23 15:50:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
2cdb52cad2
|
C++: Accept test changes after previous commit.
|
2025-01-23 13:46:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
e0f2f1dd80
|
Update cpp/ql/test/library-tests/dataflow/taint-tests/taint.cpp
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-01-23 13:41:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
a1449bf0bd
|
C++: Accept test changes.
|
2025-01-21 20:43:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
503f018600
|
C++: Add taint test with false flow from conflation.
|
2025-01-21 20:43:52 +00:00 |
|
Jeroen Ketema
|
442dad4ff9
|
C++: Update PreprocBlock.qll QLDoc and add C++23 test
|
2025-01-21 18:02:28 +01:00 |
|
Jeroen Ketema
|
9fd95381dc
|
C++: Support #elifdef #elifndef, and MSVC's #import
|
2025-01-21 16:14:16 +01:00 |
|
Jeroen Ketema
|
a0ef2888c7
|
C++: Add more preprocessor tests
|
2025-01-21 16:14:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
ed651294b6
|
Merge branch 'main' into remove-conflation-from-out-nodes
|
2025-01-20 12:42:26 +00:00 |
|
Jeroen Ketema
|
1b2d7bcbfa
|
Merge pull request #18534 from jketema/uncomment
C++: Uncomment more preprocessor tests
|
2025-01-20 12:59:20 +01:00 |
|
Jeroen Ketema
|
4b85ea3bc6
|
Merge pull request #18502 from jketema/consteval
C++: Support `if consteval` and `if ! consteval`
|
2025-01-20 12:49:02 +01:00 |
|
Jeroen Ketema
|
1cbd57e2b9
|
C++: Uncomment more preprocessor tests
|
2025-01-20 11:48:01 +01:00 |
|
Jeroen Ketema
|
a9e0f20861
|
C++: Simplify consteval if to be just a single class with an isNot predicate
|
2025-01-20 11:20:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
d1bb5970ce
|
Merge branch 'main' into remove-conflation-from-out-nodes
|
2025-01-18 18:05:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
d661158fed
|
C++: Accept query test changes.
|
2025-01-18 18:04:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
8de7d4e8ef
|
C++: Accept test changes.
|
2025-01-18 02:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
9970f7837b
|
C++: Add pointer/pointee conflation test.
|
2025-01-17 21:03:44 +00:00 |
|
Jeroen Ketema
|
d8b1d00905
|
Merge pull request #18516 from jketema/preproc-1
C++: Uncomment preprocessor test cases and add addition `#if` test case
|
2025-01-17 20:41:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
5c494c3f66
|
C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.
|
2025-01-17 13:07:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
eadccf27ef
|
C++: Add test cases with missing inferred equalities.
|
2025-01-17 13:01:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
d8ec6dd155
|
Merge pull request #18490 from MathiasVP/generate-int-to-bool-conversion-instructions-2
C++: Generate int-to-bool conversions in C code
|
2025-01-17 12:57:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
d5b31eb98c
|
C++: Add more tests.
|
2025-01-16 17:25:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
d0bd6eb2eb
|
C++: Remove the type restriction on 'GuardConditionFromNotExpr' since this class also applies to C++.
|
2025-01-16 16:55:10 +00:00 |
|