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
Calum Grant
f6776a4249
C++: Initial telemetry queries and tests
2024-11-11 17:16:32 +00:00
Jeroen Ketema
a5a6445b2e
C++: Add tests for experimental cpp/guarded-free query
2024-11-11 17:29:28 +01:00
Calum Grant
2f032ec7b8
C++: Revert 17694 and keep tests
2024-11-11 13:06:50 +00:00
Calum Grant
397bf7c5e2
C++: Fix FPs caused by a syntax error
2024-11-04 17:38:16 +00:00
Calum Grant
496efeed7e
C++: Add a test for cpp/wrong-number-format-arguments
2024-11-04 17:36:23 +00:00
Jeroen Ketema
03ced1795a
Merge pull request #17694 from jketema/multiple-entry-point
...
C++: Do not generate IR for functions with multiple entry points
2024-10-31 16:16:03 +01:00
Tom Hvitved
2b37c6cd32
Merge pull request #17548 from hvitved/shared/inline-test-post-process
...
Shared: Post-processing query for inline test expectations
2024-10-31 11:40:11 +01:00
Jeroen Ketema
5e3748ac12
C++: Update expected test results
2024-10-31 10:57:12 +01:00
Jeroen Ketema
8cfd19cf2f
C++: Add multiple entry point test
2024-10-31 10:55:48 +01:00
Anders Schack-Mulligen
b556590ef8
Merge pull request #17663 from aschackmull/dataflow/speculative-flow
...
Dataflow: Add support for speculative taint flow.
2024-10-31 08:12:43 +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
Jeroen Ketema
ccc2a39abc
C++: Add wrong format type builtin function test
2024-10-25 16:16:13 +02:00
Calum Grant
a8f1d57573
Merge pull request #17775 from github/calumgrant/bmn/wrong-type-format-arguments-test
...
C++: Reduce FPs in cpp/wrong-type-format-argument due to extraction errors
2024-10-24 08:40:46 +01:00
Mathias Vorreiter Pedersen
7c5f561724
C++: Accept test changes.
2024-10-23 13:37:06 +01:00
Mathias Vorreiter Pedersen
2fd07f28f0
C++: Add test with missing flow.
2024-10-23 13:00:33 +01:00
Henning Makholm
3d8d340f2a
Supplement 'query-type: graph' with actual query metadata
...
A number of CPP library tests contain `// query-type: graph`
annotations that make the test driver compare the output
from the test query in a special mode. (This feature is
not used by other languages).
It's somewhat awkward in the implementation of `codeql test run`
that this annotation is not an ordinary item of query metadata --
essentially it means that _every_ test query has to be opened
and read an extra time to look for this annotation. I'd like
to move towards using ordinary query metadata for this, since
the QL compiler already parses it anyway.
For the time being, give the annotation in both old and new
syntaxes, until a CLI that recognizes both has been released.
2024-10-22 20:38:00 +02:00
Jeroen Ketema
e36a1c717d
Merge branch 'main' into aliasperf2
2024-10-21 16:40:01 +02:00
Calum Grant
c5a082fd8e
C++: Fix CWE-022
2024-10-18 19:45:29 +01:00
Calum Grant
0fcabc4e61
C++: Move mayBeFromImplicitlyDeclaredFunction to Call
2024-10-18 15:56:08 +01:00
Dave Bartolomeo
639864e94d
Handle may vs. must for EntireAllocationMemoryLocation
2024-10-17 19:50:50 +01:00
Jeroen Ketema
064ec91fa2
Merge pull request #17778 from jketema/param-name
...
C++: Improve parameter naming
2024-10-17 16:29:10 +02:00
Calum Grant
5315a5cfbf
C++: Tweak test
2024-10-16 15:47:34 +01:00
Mathias Vorreiter Pedersen
2dbf75fde9
C++: Accept test changes.
2024-10-16 14:15:05 +01:00
