Tom Hvitved
eb1b2a5594
Bump tree-sitter to 0.23.0
2024-09-04 09:47:59 +02:00
Michael Nebel
99400fe3d4
Merge pull request #17346 from michaelnebel/csharp/madsynthetics
...
C#: Support SyntheticField in MaD.
2024-09-04 08:28:07 +02:00
Dave Bartolomeo
ea0877769e
Merge pull request #17368 from github/dbartol/ruby-hidden
...
Include hidden files when uploading Ruby pack
2024-09-03 12:49:26 -04:00
Dave Bartolomeo
36c71a9592
Include hidden files when uploading Ruby pack
2024-09-03 11:47:02 -04:00
Jeroen Ketema
62766f68fc
Merge pull request #17138 from jketema/generic
...
C++: Support C11 `_Generic` expressions
2024-09-03 17:26:50 +02:00
Jeroen Ketema
52819432c0
C++: Address review comment
2024-09-03 17:18:18 +02:00
Michael B. Gale
5e390a3b01
Merge pull request #17359 from github/mbg/bazel/dependencies/rules_go-0.50.0
...
Bazel/Go: Bump `rules_go` to 0.50.0
2024-09-03 14:00:18 +01:00
Michael B. Gale
c05c1d5087
Bazel: Bump rules_go to 0.50.0
2024-09-03 12:42:40 +01:00
Tom Hvitved
26c5e7b2d1
Merge pull request #17308 from hvitved/dataflow/flow-through-restriction
...
Data flow: Reduce non-linear recursion in `fwdFlow0`
2024-09-03 11:30:57 +02:00
Tom Hvitved
07fcd81e7e
Address review comments
2024-09-03 10:13:09 +02:00
Jeroen Ketema
ffab199ea8
Merge pull request #17348 from jketema/test-fix
...
C++: Update expected test results after #17347
2024-09-02 21:53:13 +02:00
Jeroen Ketema
ae7bf6c97d
C++: Update expected test results after #17347
2024-09-02 21:17:55 +02:00
Tom Hvitved
1057bb443f
Data flow: Simplify FwdFlowIn interface
2024-09-02 16:10:34 +02:00
Simon Friis Vindum
ee6c255a7c
Merge pull request #17328 from paldepind/tweak-unbounded-barrier
...
C++: Tweak the `bounded` barrier
2024-09-02 14:30:44 +02:00
Simon Friis Vindum
e294c8e68f
Merge pull request #17347 from paldepind/test-for-uninitialized-local
...
C++: Add test for cpp/uninitialized-local and va_copy
2024-09-02 14:00:34 +02:00
Geoffrey White
c082c256a2
Merge pull request #17244 from geoffw0/swiftdoc2
...
Swift: Work around some QHelp rendering issues.
2024-09-02 12:26:23 +01:00
Simon Friis Vindum
660869e834
C++: Add test for cpp/uninitialized-local and va_copy
2024-09-02 13:25:02 +02:00
Tamás Vajk
39a73303d1
Merge pull request #17333 from github/criemen/rename-csharp
...
C#: Rename integration test directories.
2024-09-02 13:04:58 +02:00
Henry Mercer
4ebfafbec2
Merge pull request #17336 from github/henrymercer/rc-3.15-mergeback
...
Merge `rc/3.15` back into `main`
2024-09-02 11:43:19 +01:00
Michael Nebel
4f4c7bfbb9
C#: Update expected test output.
2024-09-02 11:13:16 +02:00
Michael Nebel
6e81d74558
C#: Add support for synthetic fields in MaD for C#.
2024-09-02 11:13:11 +02:00
Michael Nebel
0d343c5ce1
C#: Add external flow tests for synthetic fields.
2024-09-02 11:13:06 +02:00
Tom Hvitved
642ec38589
Merge pull request #17340 from hvitved/csharp/ssa-exclude-enums
2024-08-30 16:31:38 +02:00
Jeroen Ketema
4945943732
C++: Support C11 _Generic expressions
2024-08-30 14:24:03 +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
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
Henry Mercer
3490067316
Merge branch 'main' into henrymercer/rc-3.15-mergeback
2024-08-29 19:48:01 +01:00
Henry Mercer
d5bccd5373
Reapply "C#: Add support for flow through side-effects on static fields"
...
This reverts commit ea6092ad3f
2024-08-29 19:47:53 +01:00
Cornelius Riemenschneider
092ce01d93
C#: Rename integration test directories.
...
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.
This is not very invasive for C#, I'm just dropping the `only`
suffix. You could also merge all the platform-specific test dirs,
or all test dirs into the top-level directory. I'll leave that up to you.
2024-08-29 19:06:56 +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
Simon Friis Vindum
e7f059ae55
C++: Tweak the bounded barrier
2024-08-29 10:32:31 +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
Tom Hvitved
49a4f3a82f
Data flow: Reduce non-linear recursion in fwdFlow0
2024-08-28 17:29:23 +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
