Mathias Vorreiter Pedersen
|
948be09257
|
C++: Add an taint step from object to field for 'CComBSTR's.
|
2024-11-27 16:41:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
9b004848a3
|
C++: Add MaD model for 'CComBSTR'.
|
2024-11-27 16:41:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
68ee8da574
|
C++: Add failing tests with 'CComBSTR'.
|
2024-11-27 16:41:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b8ef5a8c8
|
C++: Add MaD model for 'CAtlList'.
|
2024-11-27 16:41:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
c604a93d16
|
C++: Add failing tests with 'CAtlList'.
|
2024-11-27 16:41:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
0f8df1cd9f
|
C++: Add MaD model for 'CAtlArray'.
|
2024-11-27 16:41:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
1cd426e9f9
|
C++: Add failing tests with 'CAtlArray'.
|
2024-11-27 16:41:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
4f2cd81f9e
|
C++: Accept test changes.
|
2024-11-27 16:41:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
2c7d0dec7d
|
C++: Accept test changes.
|
2024-11-27 16:41:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
749602c982
|
C++: Add failing tests with CA2AEX and friends.
|
2024-11-27 16:41:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
f688470324
|
C++: Since isConstructedFrom only holds for templates we need to explicitly handle the case where the function (or class) is not a template.
|
2024-11-27 16:41:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
16e5fa34d1
|
C++: Add failing tests with U_STRINGorID.
|
2024-11-27 15:49:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
fe9feb900d
|
C++: We will need all these types.
|
2024-11-27 15:49:38 +00:00 |
|
Jeroen Ketema
|
8d59159691
|
C++: Fix qlref file
|
2024-11-26 15:35:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
39b61598e9
|
C++: Accept test changes.
|
2024-11-26 13:57:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
f65f11b404
|
C++: Add a test for a somewhat embarrasing bug: MaD didn't check the function name in some cases.
|
2024-11-26 13:43:42 +00:00 |
|
Jeroen Ketema
|
d9b278de66
|
C++: Promote cpp/guarded-free
|
2024-11-26 11:45:55 +01:00 |
|
Calum Grant
|
4dab0390c9
|
C++: Update expected output
|
2024-11-22 16:10:23 +00:00 |
|
Calum Grant
|
3b4fdb3fc2
|
Update cpp/ql/test/query-tests/Likely Bugs/Underspecified Functions/test.c
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-11-22 15:39:28 +00:00 |
|
Calum Grant
|
60155ce205
|
C++: Address review comments
|
2024-11-22 15:30:24 +00:00 |
|
Calum Grant
|
227f9c7c1b
|
C++: Update the test.c comments
|
2024-11-22 15:12:07 +00:00 |
|
Calum Grant
|
4d851440b6
|
C++: Remove FPs from cpp/too-few-arguments
|
2024-11-22 15:12:05 +00:00 |
|
Jeroen Ketema
|
fa8aba88af
|
Revert "Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-2"
This reverts commit 6785b93ed8, reversing
changes made to d9b86f55c8.
|
2024-11-21 15:39:00 +01:00 |
|
REDMOND\brodes
|
007dd83799
|
Updating ir test expected files.
|
2024-11-20 14:40:58 -05:00 |
|
Jeroen Ketema
|
b4718792d1
|
Merge pull request #17986 from jketema/guarded-free2
C++: Reduce number of FPs `cpp/guarded-free` and turn `if(x) { free(x) }` cases from FNs to TPs
|
2024-11-20 13:58:48 +01:00 |
|
Calum Grant
|
2bfd7326d9
|
Merge pull request #18004 from github/revert-17948-revert-17694-multiple-entry-point
Revert "Revert "C++: Do not generate IR for functions with multiple entry points""
|
2024-11-19 09:20:24 +00:00 |
|
Jeroen Ketema
|
84f3e6a0d3
|
Merge branch 'main' into guarded-free2
|
2024-11-18 19:09:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
f2f83f77e0
|
Merge pull request #18013 from MathiasVP/non-boolean-consistency-check
C++: Add another IR consistency query
|
2024-11-18 17:27:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
ccca0b6ba4
|
C++: Also update syntax-zoo tests.
|
2024-11-18 15:56:41 +00:00 |
|
Jeroen Ketema
|
08bf6d7d30
|
Merge branch 'main' into guarded-free2
|
2024-11-18 16:50:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
28391d19b6
|
C++: Add some more tests to expose consistency issues.
|
2024-11-18 15:25:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
493ea6da31
|
C++: Add a new consistency check for branching on non-boolean values.
|
2024-11-18 15:21:28 +00:00 |
|
Calum Grant
|
6a0a7dda76
|
Revert "Revert "C++: Do not generate IR for functions with multiple entry points""
|
2024-11-18 10:31:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
bb85aa2fc9
|
C++: Accept test changes.
|
2024-11-14 16:29:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
a40c1d50b8
|
C++: Add FP tests.
|
2024-11-14 16:13:46 +00:00 |
|
Jeroen Ketema
|
b581723a63
|
C++: Ignore complex guards and the comma operator
|
2024-11-14 12:53:54 +01:00 |
|
Jeroen Ketema
|
176acabd9d
|
C++: Ignore free calls that are macro defined or #if/#ifdef guarded
|
2024-11-14 12:51:04 +01:00 |
|
Jeroen Ketema
|
a31e983e9e
|
C++: Also allow single statement blocks in cpp/guarded-free
|
2024-11-14 12:47:29 +01:00 |
|
Jeroen Ketema
|
c86bbbb063
|
C++: Fix cpp/guarded-free FPs when there are other blocks depending on the guard
|
2024-11-14 11:48:17 +01:00 |
|
Calum Grant
|
67684d1813
|
Merge pull request #17948 from github/revert-17694-multiple-entry-point
Revert "C++: Do not generate IR for functions with multiple entry points"
|
2024-11-13 12:11:02 +00:00 |
|
Calum Grant
|
1a688456f6
|
Merge pull request #17892 from github/calumgrant/telemetry
C++: Initial telemetry queries
|
2024-11-12 11:51:37 +00:00 |
|
Calum Grant
|
91b1cb8a76
|
C++: Some renaming
|
2024-11-12 09:49:10 +00:00 |
|
Jeroen Ketema
|
79a9e9c6c0
|
C++: Address review comments
|
2024-11-12 10:13:37 +01:00 |
|
Jeroen Ketema
|
a29b958f5f
|
C++: Address review comments
|
2024-11-12 09:08:36 +01:00 |
|
Calum Grant
|
317f43d325
|
C++: Don't use PrintAST in a test
|
2024-11-11 17:16:47 +00:00 |
|
Calum Grant
|
2351328aa1
|
C++: Rename SourceFiles metric
|
2024-11-11 17:16:46 +00:00 |
|
Calum Grant
|
593dcb646b
|
C++: Remove missing includes test
|
2024-11-11 17:16:44 +00:00 |
|
Calum Grant
|
fb82d435b5
|
C++: Various renamings
|
2024-11-11 17:16:43 +00:00 |
|
Calum Grant
|
9a81ce8bb4
|
C++: Separate int and float metrics
|
2024-11-11 17:16:37 +00:00 |
|
Calum Grant
|
a53e1dec20
|
C++: Minor edits
|
2024-11-11 17:16:34 +00:00 |
|