Kevin Stubbings
326eb6946e
Added
2024-08-30 18:17:38 -07:00
Kevin Stubbings
5c8c99d31f
Add header support for bottle and tornado
2024-08-30 18:16:01 -07:00
Tom Hvitved
642ec38589
Merge pull request #17340 from hvitved/csharp/ssa-exclude-enums
2024-08-30 16:31:38 +02:00
Tom Hvitved
4ef4ede0b1
C#: Do not calculate field-based SSA for enums
2024-08-30 11:19:07 +02:00
Tom Hvitved
a9b5faa6ab
C#: Add SSA test for enums
2024-08-30 11:19:06 +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
