Jeroen Ketema
4945943732
C++: Support C11 _Generic expressions
2024-08-30 14:24:03 +02:00
Jeroen Ketema
30335ab81e
C++: Add C11 _Generic IR tests
2024-08-30 10:50:49 +02:00
Michael Nebel
89c387cf5c
Merge pull request #17326 from michaelnebel/shared/contentflowtaint
...
DataFlow: Bugfix in content flow state for value preservation.
2024-08-30 09:23:50 +02:00
Cornelius Riemenschneider
72e2910d17
Merge pull request #17315 from github/criemen/pytest-java
...
Java: Port all integration tests to pytest
2024-08-29 18:05:52 +02:00
Cornelius Riemenschneider
5ecc6f9dc8
Merge remote-tracking branch 'origin/main' into criemen/pytest-java
2024-08-29 16:43:46 +02:00
Cornelius Riemenschneider
dd7f757281
Address review.
2024-08-29 16:43:27 +02:00
Michael Nebel
ff31aa540c
Address review comments.
2024-08-29 15:54:04 +02:00
Michael Nebel
0df0d8a51f
Merge pull request #17236 from michaelnebel/java/viablecallableheuristic
...
Java: Make more finegrained dataflow dispatch viable callable heuristic.
2024-08-29 10:46:30 +02:00
Michael Nebel
53b2471c9d
Java: Update expected test output.
2024-08-29 09:03:46 +02:00
Cornelius Riemenschneider
047a655dec
Merge pull request #17324 from github/criemen/move-swift-int-tests
...
Swift: Move all integration tests.
2024-08-28 21:27:26 +02:00
Simon Friis Vindum
edeefe5bb6
Merge pull request #17298 from paldepind/model-functions-that-dont-throw
...
C++: Add basic modeling of functions that don't throw
2024-08-28 19:50:31 +02:00
Michael Nebel
fa5d6f12be
Java: Update logging test expected output.
2024-08-28 16:16:16 +02:00
Michael Nebel
bd5529cefa
Java: Update the Byte- and CharBuffer models and add models for set- and getParameters on LogRecord.
2024-08-28 16:15:09 +02:00
Michael Nebel
395656a1cf
Java: Extend the logging test with a test case for parameters.
2024-08-28 16:13:32 +02:00
Cornelius Riemenschneider
123c375d84
Merge pull request #17322 from github/criemen/move-js-int-tests
...
JS: Move all integration tests.
2024-08-28 16:04:39 +02:00
Jeroen Ketema
40fe39c288
Merge pull request #17311 from jketema/builtins
...
C++: Add support for more clang builtins
2024-08-28 16:00:08 +02:00
Simon Friis Vindum
d1fecd869b
C++: Make StringCchPrintf not extend NonThrowingFunction
2024-08-28 15:40:14 +02:00
Cornelius Riemenschneider
966c3a62dd
Merge pull request #17309 from github/criemen/bazel-prerelease
...
Bazel: switch to a 7.4.0 prerelease.
2024-08-28 15:28:06 +02:00
Jeroen Ketema
2b571cf450
C++: Address review comments
2024-08-28 15:11:42 +02:00
Michael Nebel
e8595e28e9
Update java/ql/lib/semmle/code/java/dataflow/internal/DataFlowDispatch.qll
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-08-28 15:04:38 +02:00
Anders Schack-Mulligen
dd49fc932d
Merge pull request #17325 from aschackmull/dataflow/state-in-summary
...
Dataflow: Include FlowState in SummaryCtx.
2024-08-28 15:03:18 +02:00
Cornelius Riemenschneider
ab56e63f96
Merge branch 'main' into criemen/pytest-java
2024-08-28 14:47:49 +02:00
Michael Nebel
6d346dbedd
DataFlow: Bugfix in flow state for value preservation.
2024-08-28 14:40:04 +02:00
Anders Schack-Mulligen
6a9bd0de1d
Dataflow: Include FlowState in SummaryCtx.
2024-08-28 14:13:28 +02:00
Jeroen Ketema
026969b6e9
C++: Add change note
2024-08-28 13:08:44 +02:00
Jeroen Ketema
9e861ce717
C++: Add support for more clang builtins
2024-08-28 13:08:42 +02:00
Tom Hvitved
7f8e6bf574
Merge pull request #16970 from hvitved/dataflow/local-big-step-stage
...
Data flow: Compute local big step relation as stage output
2024-08-28 12:28:16 +02:00
Tom Hvitved
27bc8ed6af
Address review comment
2024-08-28 11:38:29 +02:00
Chris Smowton
464b552cad
Merge pull request #17321 from github/criemen/move-go-int-tests
...
Go: Move all integration tests.
2024-08-28 10:30:55 +01:00
Cornelius Riemenschneider
d349ddba57
Merge pull request #17323 from github/criemen/move-ruby-int-tests
...
Ruby: Move all integration tests.
2024-08-28 11:18:05 +02:00
Simon Friis Vindum
d6049cd98b
C++: Add additional implementations of NonThrowingFunction and make minor fixes to docs
2024-08-28 10:54:16 +02:00
Cornelius Riemenschneider
a92a845719
Swift: Move all integration tests.
...
We are no longer bound to the platform-specific directories,
so simplify the test organization.
If you don't want this change, just skip merging this PR. It's purely optional.
2024-08-28 10:47:17 +02:00
Cornelius Riemenschneider
3326bc417c
Ruby: Move all integration tests.
...
We no longer need the platform-specific directories, so simplify the test organization.
If you don't want this change, just skip merging this PR. It's purely optional.
2024-08-28 10:45:05 +02:00
Cornelius Riemenschneider
b7b475d13b
JS: Move all integration tests.
...
We no longer need the platform-specific directories, so simplify the test organization.
If you don't want this change, just skip merging this PR.
It's purely optional.
The PR also deletes a spurious qlpack.yml that I missed when converting the tests to pytest.
2024-08-28 10:43:08 +02:00
Cornelius Riemenschneider
bfc6fee828
Go: Move all integration tests.
...
We no longer need the platform-specific directories,
so simplify the test organization.
If you want to retain the `linux` directory for two tests,
or not do this at all, just skip merging this PR.
It's purely optional.
2024-08-28 10:37:59 +02:00
Tom Hvitved
22e1921391
Merge pull request #17313 from hvitved/dataflow/to-normal-sink-node-ex
...
Data flow: Move `toNormalSinkNodeEx` into `PathNodeMid`
2024-08-28 09:06:41 +02:00
Tom Hvitved
b589fcad11
Data flow: Tweak join-order in toNormalSinkNodeEx
2024-08-27 15:42:24 +02:00
Tom Hvitved
80b6135a64
Data flow: Move toNormalSinkNodeEx into PathNodeMid
2024-08-27 15:42:13 +02:00
Michael Nebel
15b06907dd
Java: Updated expected test output.
2024-08-27 14:48:14 +02:00
Michael Nebel
8f734ad1b2
Java: Tighten the criteria for when we disregard generated models.
2024-08-27 14:48:11 +02:00
Michael Nebel
021fd1450e
Java: Add some dispatch examples to the external flow step test.
2024-08-27 14:48:03 +02:00
Michael Nebel
43b52a0921
Java: Add change note.
2024-08-27 13:28:18 +02:00
Michael Nebel
7488cc0811
Java: Updated expected test output.
2024-08-27 13:28:13 +02:00
Michael Nebel
d79aa294ec
Java: Move some neutrals into the model.yml file (they have previosly been ignored due to wrong file extension).
2024-08-27 13:28:09 +02:00
Michael Nebel
db51604f46
Java: Promote some generated models and add some manual neutrals.
2024-08-27 13:28:05 +02:00
Michael Nebel
6cb5e13a23
Java: Re-factor tests and update expected test output.
2024-08-27 13:28:00 +02:00
Michael Nebel
68880b2056
Java: Update expected test output. Generated models are no longer applied as there exist a source implementation.
2024-08-27 13:27:55 +02:00
Michael Nebel
fe6693739a
Java: Make more finegrained dataflow dispatch viable callable heuristic.
2024-08-27 13:27:52 +02:00
Cornelius Riemenschneider
1c3b9f7031
Delete legacy test utils.
2024-08-27 13:14:24 +02:00
Cornelius Riemenschneider
c69df1a6e3
Port java integration tests to pytest.
...
Some notes:
* These tests rely on a variety of fixtures
* The previous maven-wrapper checks were checking for the version of maven installed by looking at the checked-in wrapper script. I dropped this behavior.
* I replaced a lot of test queries that queried for a (subset of) source archive files with the source_archive fixture. In particular, tests that excluded properties files from being listed in the expected output now include them.
It's much faster to generate this list via the fixture instead of using CodeQL for it.
2024-08-27 13:14:23 +02:00
