github-actions[bot]
01a1b4aa50
Add changed framework coverage reports
2023-11-10 00:15:57 +00: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
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
Anders Schack-Mulligen
048a7c4e42
Rangeanalysis: Rename SsaBound.getAVariable to getVariable.
2023-11-01 11:58:06 +01:00
Anders Schack-Mulligen
48291dd32d
Rangeanalysis: Remove superfluous ignoreZeroLowerBound.
2023-11-01 11:51:46 +01:00
Edward Minnix III
1ec1dd368d
Merge pull request #13978 from egregius313/egregius313/java/mad/convert-sensitive-api-to-mad
...
Java: Convert `SensitiveApi.qll` to use Models-as-Data
2023-10-31 15:25:42 -04:00
Ian Lynagh
ceb3d14fe0
Merge pull request #14614 from igfoo/igfoo/enum
...
Kotlin: Make the enum test more precise
2023-10-31 16:18:12 +00:00
Anders Schack-Mulligen
34b9791e46
Rangeanalysis: Remove superfluous ignoreSsaReadCopy.
2023-10-31 15:32:25 +01:00
Anders Schack-Mulligen
322e6c91be
Rangeanalysis: Remove superfluous specificSsaRead.
2023-10-31 15:30:36 +01:00
Anders Schack-Mulligen
8b6c940e76
Rangeanalysis: Remove superfluous ignoreSsaReadAssignment.
2023-10-31 15:28:37 +01:00
Anders Schack-Mulligen
6d6f89e71e
Rangeanalysis: Remove superfluous ignoreSsaReadArithmeticExpr.
2023-10-31 15:25:28 +01:00
Anders Schack-Mulligen
a39a94ca8e
Rangeanalysis: Switch to shared ssaRead predicate.
2023-10-31 15:23:05 +01:00
Anders Schack-Mulligen
19644a8f07
Rangeanalysis: Implement shared ssaRead predicate
2023-10-31 15:07:11 +01:00
Ian Lynagh
e1f7f3cbd4
Kotlin: Add more info to enum test
2023-10-31 12:17:44 +00:00
Ian Lynagh
b841d5f923
Merge pull request #14622 from igfoo/igfoo/JavaBinarySourceElement
...
Kotlin: Add support for JavaBinarySourceElement sources
2023-10-31 10:33:48 +00:00
Chris Smowton
79e1aa0498
Merge pull request #14634 from github/post-release-prep/codeql-cli-2.15.2
...
Post-release preparation for codeql-cli-2.15.2
2023-10-31 10:24:53 +00:00
github-actions[bot]
2b939fdf08
Post-release preparation for codeql-cli-2.15.2
2023-10-30 16:06:51 +00:00
Tony Torralba
45cf50c2af
Apply JMS sink only when there isn't an implementation available
2023-10-30 15:56:24 +01:00
Ian Lynagh
e2ef0dc71d
Merge pull request #14621 from igfoo/igfoo/getFileClassFqName_IrField
...
Kotlin: Fix getFileClassFqName for IrField
2023-10-30 13:54:08 +00:00
Ian Lynagh
d46442245b
Merge pull request #14518 from igfoo/igfoo/trap_files
...
Kotlin: Log when we start and finish writing to TRAP files
2023-10-30 13:53:04 +00:00
Ian Lynagh
55df481e5c
Kotlin: Add support for JavaBinarySourceElement sources
2023-10-30 11:43:36 +00:00
github-actions[bot]
4641990021
Release preparation for version 2.15.2
2023-10-30 11:05:53 +00:00
Ian Lynagh
e25c0498d4
Kotlin: Fix getFileClassFqName for IrField
2023-10-27 18:00:33 +01:00
Dave Bartolomeo
b18a6d5e0b
Merge pull request #14582 from github/dbartol/threat-models-2
...
Java: Threat model implementation with priorities.
2023-10-27 09:33:53 -04:00
Ian Lynagh
0cf702a74f
Kotlin: Tweak the logs test to not be confused by the new logs
2023-10-27 12:04:43 +01:00
Ian Lynagh
3c5b9ce0cd
Kotlin: Make the enum test more precise
...
In Kotlin 2 mode, there are more library classes matching Enum%, so the
output was spuriously different.
2023-10-27 11:15:12 +01:00
Anders Schack-Mulligen
9769953669
Java: Split the different layers of virtual dispatch into separate cached stages.
2023-10-27 09:40:20 +02:00
Dave Bartolomeo
d2afb20f3f
Merge remote-tracking branch 'origin/main' into dbartol/threat-models-2
2023-10-26 14:05:40 -04:00
Alexander Eyers-Taylor
55ec9d0a91
Merge pull request #14601 from aschackmull/java/fix-tests
...
Java: Update tests to new partial flow api
2023-10-26 17:52:01 +01:00
