Ian Lynagh
fc59b7f3a7
K2: library-tests/generic-inner-classes: Accept loc changes
2023-11-17 14:07:14 +00:00
Ian Lynagh
4fafed2542
K2: library-tests/generic-selective-extraction: Accept loc changes
2023-11-17 14:07:14 +00:00
Ian Lynagh
366b919107
K2: library-tests/methods/methods: Accept loc changes
2023-11-17 14:07:14 +00:00
Ian Lynagh
2b24298d7f
K2: library-tests/methods/parameters: Accept loc changes
2023-11-17 14:07:14 +00:00
Ian Lynagh
7a49d6e9bd
K2: query-tests/UselessNullCheck: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
cb088c3ee1
K2: library-tests/variables: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
3a0c4c4d6f
K2: library-tests/jvmoverloads_generics: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
d52f2e510b
K2: library-tests/lazy-val-multiple-constructors: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
ed8e105452
K2: library-tests/java_and_kotlin: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
f1cfc5d1b8
K2: library-tests/properties: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
e3f4bb84d4
K2: library-tests/modifiers: Accept location changes
2023-11-17 14:07:13 +00:00
Ian Lynagh
905583e00a
Kotlin: Add a Kotlin 2 copy of the testsuite
2023-11-17 14:07:13 +00:00
Ian Lynagh
e6f31c965e
Kotlin: Add qlpack for the Kotlin 2 tests
2023-11-17 14:07:12 +00:00
Anders Schack-Mulligen
dc4dda1dbc
Merge pull request #14757 from aschackmull/rangeanalysis/simplify
...
Rangeanalysis: Misc simplifications
2023-11-13 13:16:04 +01:00
Cornelius Riemenschneider
1b7e3814b0
Merge pull request #14719 from github/criemen/java-int-tests
...
Java integration tests: More preparations to be executed on GH M1 machines
2023-11-13 11:16:51 +01:00
Anders Schack-Mulligen
bf6cfd3bef
Rangeanalysis: Simplify api.
2023-11-13 10:35:44 +01:00
Anders Schack-Mulligen
30aefabb2a
Rangeanalysis: Rename predicate.
2023-11-13 10:35:44 +01:00
Anders Schack-Mulligen
66b03bfb12
Java: Remove unused import
2023-11-13 10:35:44 +01:00
Anders Schack-Mulligen
3a73faf061
Rangeanalysis: Remove unused getAlternateType predicates.
2023-11-13 10:35:43 +01:00
Anders Schack-Mulligen
00549e36ed
Merge pull request #14742 from aschackmull/rangeanalysis/share-util-3
...
Java/C++/Rangeanalysis: Share more range analysis utility predicates.
2023-11-13 10:19:41 +01:00
Anders Schack-Mulligen
0d8986cfad
Java: Accept test changes.
2023-11-10 14:04:45 +01:00
github-actions[bot]
01a1b4aa50
Add changed framework coverage reports
2023-11-10 00:15:57 +00:00
Anders Schack-Mulligen
657c29f409
Java/C++: Share valueFlowStep.
2023-11-09 20:24:28 +01:00
Anders Schack-Mulligen
b8e7e1d15e
Java/C++: Share ssaUpdateStep.
2023-11-09 16:02:44 +01:00
Anders Schack-Mulligen
daffae020b
Java/C++: Share eqFlowCond.
2023-11-09 16:00:46 +01:00
Chris Smowton
c060827a5d
Merge pull request #14699 from smowton/smowton/feature/jdk21-sequenced-collections-models
...
Java: model JDK21 SequencedCollection, Set and Map
2023-11-09 14:15:08 +00:00
Anders Schack-Mulligen
f9132c5ff0
Java: Duplicate a bit more code to postpone Java-C# cleanup.
2023-11-08 14:04:34 +01:00
Anders Schack-Mulligen
1f4cd74a1c
Java/C++: Move SsaReadPosition to shared qlpack.
2023-11-08 12:11:17 +01:00
Cornelius Riemenschneider
f12310cb86
The java-version-too-old relies on a Java 8 installation.
...
We don't have a Java 8 build on the M1 machines, therefore skip this test.
2023-11-08 10:36:47 +01:00
Cornelius Riemenschneider
137403f649
Java: Move more tests to use the try_use_java11() helper.
...
This is in preparation of executing these tests on GH-hosted M1 runners,
where we need to have architecture-specific path handling.
It's nicer to fix all of this in one place (the helper), than to run around
fixing individual tests.
2023-11-08 10:33:50 +01:00
Tony Torralba
5442cdb49c
Merge pull request #14610 from atorralba/atorralba/java/jms-deserialization
...
Java: Add JMS sink to java/unsafe-deserialization
2023-11-08 09:10:20 +01:00
Anders Schack-Mulligen
45ae4ed362
Merge pull request #14711 from aschackmull/shared/rangeutil-share2
...
Java/C++/RangeAnalysis: Move a couple of utility predicates to shared qlpack
2023-11-08 08:33:12 +01:00
Geoffrey White
b63294764b
Merge pull request #14705 from geoffw0/qhelplink
...
Fix a dead ReDoS link in docs
2023-11-07 17:40:19 +00:00
Anders Schack-Mulligen
12cba7909b
Java/C++: Move range util guard-controls predicates to shared pack.
2023-11-07 15:14:34 +01:00
Anders Schack-Mulligen
f2ca52d951
Java/C++: Move range util backEdge predicate to shared pack.
2023-11-07 15:14:34 +01:00
Tom Hvitved
b2512eb212
Merge pull request #14678 from hvitved/csharp/mad-operator-fix
...
C#: Correctly parse operator names in MaD
2023-11-07 15:11:01 +01:00
Tom Hvitved
af7b295c59
Address review comments
2023-11-07 13:01:19 +01:00
Cornelius Riemenschneider
ccaa792343
Address on-slack review.
2023-11-07 11:07:37 +01:00
Geoffrey White
e8a466a02c
Update dead link.
2023-11-07 09:26:07 +00:00
Cornelius Riemenschneider
cff9bcfabc
Revert "Revert "Java: Make integration test more robust wrt recent Java versions.""
...
This reverts commit 4e70e674fd
2023-11-06 23:29:33 +01:00
Cornelius Riemenschneider
4e70e674fd
Revert "Java: Make integration test more robust wrt recent Java versions."
...
This reverts commit ae21bbf0b2
2023-11-06 23:26:21 +01:00
Cornelius Riemenschneider
ae21bbf0b2
Java: Make integration test more robust wrt recent Java versions.
...
I've been investigating moving the Java integration tests to a
GH-hosted macos runner, instead of a self-hosted one.
This test is not compatible with a GH-hosted runners Java setup.
It is also not compatible to being exposed to JAVA_21_HOME_X64 variable yet.
This PR fixes both issues.
2023-11-06 23:22:05 +01:00
Chris Smowton
24b4b05be8
Add models for new Collections methods
2023-11-06 16:44:40 +00:00
Chris Smowton
d30d71e048
Add change note
2023-11-06 16:38:44 +00:00
Chris Smowton
5b72aee3ae
Java: model JDK21 SequencedCollection, Set and Map
2023-11-06 16:04:13 +00:00
Anders Schack-Mulligen
484d0fe4cd
Merge pull request #14659 from aschackmull/shared/modulus-analysis
...
Java/C++: Share modulus analysis
2023-11-02 12:45:35 +01:00
github-actions[bot]
155073c498
Add changed framework coverage reports
2023-11-02 00:16:04 +00:00
Anders Schack-Mulligen
f8ab64dff0
Java: Switch to shared modulus analysis.
2023-11-01 16:34:28 +01:00
Anders Schack-Mulligen
a7f3ef1a6c
Rangeanalysis: Parameterise shared modulus analysis.
2023-11-01 15:59:24 +01:00
Anders Schack-Mulligen
6d859daf3d
Merge pull request #14656 from aschackmull/shared/range-utils
...
Rangeanalysis: Share ssaRead predicate
2023-11-01 15:57:52 +01:00
