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
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
91b1cb8a76
C++: Some renaming
2024-11-12 09:49:10 +00: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
Calum Grant
2f032ec7b8
C++: Revert 17694 and keep tests
2024-11-11 13:06:50 +00: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
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
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
Mathias Vorreiter Pedersen
2dbf75fde9
C++: Accept test changes.
2024-10-16 14:15:05 +01:00
Mathias Vorreiter Pedersen
9ea4c40ca9
C++: Add failing test.
2024-10-16 14:13:55 +01:00
Calum Grant
ceceee1947
C++: Add test for mixed implicit/explicit function declarations
2024-10-16 13:46:06 +01:00
Anders Schack-Mulligen
9ca8a27bae
C/C++: Accept test changes.
2024-10-16 14:35:22 +02:00
Jeroen Ketema
1eb0b49634
C++: Improve parameter naming
2024-10-16 11:33:18 +02:00
Calum Grant
6a48ad0ee7
C++: Implement Expr::mayBeFromImplicitlyDeclaredFunction
2024-10-16 10:23:39 +01:00
Jeroen Ketema
22b8e2cbb4
C++: Add missing parent scope cases
2024-10-15 17:16:58 +02: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
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
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
Tom Hvitved
953461d1aa
C++: Update expected test output
2024-10-04 08:35:31 +02:00
Jeroen Ketema
e73d1c7b76
C++: Add more macro expansion tests
2024-09-28 22:32:36 +02:00
Tom Hvitved
ed9008a064
Update expected test output
2024-09-18 13:51:02 +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
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
