10014 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	58cd16565f	Dataflow: Fix forceHighPrecision for length-2 prefixes.	2023-07-13 10:55:39 +02:00
Anders Schack-Mulligen	d46b2a32ae	Dataflow: Improve debug printing.	2023-07-13 10:55:39 +02:00
Ed Minnix	63299688d5	Add change notes for default implementations of isBarrier and isAdditionalFlowStep	2023-07-12 15:21:16 -04:00
Ed Minnix	1cd8922ab5	Java: Add default implementation of StateConfigSig::isAdditionalFlowStep/4	2023-07-12 15:06:24 -04:00
Ed Minnix	1835b40f7b	Java: Add default impl to StateConfigSig::isBarrier/2	2023-07-12 15:06:24 -04:00
Ian Lynagh	fe24cc1900	Merge pull request #13718 from igfoo/igfoo/file_classes ... Kotlin: Improve file class support	2023-07-12 15:42:16 +01:00
Ian Lynagh	af5cd7cf4f	Merge pull request #13723 from igfoo/igfoo/kotlin-1.9.0 ... Kotlin: Run CI with 1.9.0	2023-07-12 12:24:04 +01:00
Ian Lynagh	75c835c9d2	Add missing "a" to a qldoc comment ... Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>	2023-07-12 11:24:42 +01:00
Tony Torralba	c54e93f005	Merge pull request #13705 from atorralba/atorralba/java/android-unsafe-fetch-apply ... Java: Add support for Kotlin's `apply` to java/android/unsafe-android-wevbiew-fetch	2023-07-12 09:45:54 +02:00
Ian Lynagh	b83f0275e3	Kotlin: Accept test changes for Kotlin 1.9.0	2023-07-11 17:37:24 +01:00
Ian Lynagh	470e033090	Kotlin: Restrict a test's results to those in the test directory	2023-07-11 17:37:23 +01:00
Ian Lynagh	6dedd9286c	Kotlin: Record "file class" info from the compiler ... We were making file classes when the parent was a file, but not when it was a class marked as one.	2023-07-11 15:58:42 +01:00
Ian Lynagh	cfd29de677	Kotlin: Add Class.isFileClass()	2023-07-11 15:58:41 +01:00
Ian Lynagh	2162530729	Kotlin: Add an integration test for file classes	2023-07-11 15:58:41 +01:00
Ian Lynagh	a603f21ce1	Kotlin: Use 1.9.0 for CI	2023-07-11 14:10:48 +01:00
Ian Lynagh	c21797dd3c	Kotlin: Add a test for file classes	2023-07-11 13:21:56 +01:00
Mathias Vorreiter Pedersen	a4c0063ab1	Merge pull request #13679 from MathiasVP/speedup-big-step ... DataFlow: Speed up the big step relation	2023-07-11 09:44:17 +01:00
github-actions[bot]	7b8cd77cec	Add changed framework coverage reports	2023-07-11 00:19:16 +00:00
Tony Torralba	ce600367df	Java: Add support for Kotlin's apply to java/android/unsafe-android-webview-fetch	2023-07-10 17:40:16 +02:00
Tony Torralba	16529cdd18	Add failing test	2023-07-10 17:40:15 +02:00
Tony Torralba	b70e21df4f	Merge pull request #13702 from atorralba/atorralba/kotlin/apply ... Kotlin: Support apply	2023-07-10 17:39:57 +02:00
Tony Torralba	0f18c0227b	Kotlin: Support apply	2023-07-10 16:15:27 +02:00
github-actions[bot]	13cf054a9d	Post-release preparation for codeql-cli-2.14.0	2023-07-07 14:55:41 +00:00
github-actions[bot]	6484ee106e	Release preparation for version 2.14.0	2023-07-07 08:22:14 +00:00
Dave Bartolomeo	9631e9f2f1	Bump minor version numbers post-GHES	2023-07-06 10:10:01 -04:00
Dave Bartolomeo	2bb9adfbf1	Merge remote-tracking branch 'origin/main' into dbartol/mergeback-3.10	2023-07-06 10:00:46 -04:00
Mathias Vorreiter Pedersen	83d0dec0fb	DataFlow: Sync identical files.	2023-07-06 14:00:00 +01:00
Michael Nebel	3cde59e409	Merge pull request #13651 from michaelnebel/telemetrytop100 ... Java/C#: Reduce the amount of telemetry being produced.	2023-07-04 08:33:53 +02:00
Michael Nebel	238f390738	Merge pull request #13452 from michaelnebel/refactorstackprinting ... Re-factor printing of summary component stacks.	2023-07-04 08:29:10 +02:00
Michael Nebel	243c592447	Address review comments.	2023-07-03 17:01:08 +02:00
Michael Nebel	23a119b8c2	Java/C#: Reduce the amount of telemetry being produced.	2023-07-03 16:54:07 +02:00
Chuan-kai Lin	6912f7ed3a	Merge pull request #13638 from cklin/remove-pragma-assume-small-delta ... Remove pragma[assume_small_delta]	2023-07-03 07:00:36 -07:00
Michael Nebel	bddd22f522	Sync files and make language specific adjustments.	2023-07-03 14:36:07 +02:00
Michael Nebel	c18f4b1604	Sync files and make language specific rename.	2023-07-03 14:36:06 +02:00
Ian Lynagh	fcf003ceb5	Revert "Kotlin: Remove a use of ObsoleteDescriptorBasedAPI" ... This reverts commit a50d804ad7.	2023-06-30 19:32:37 +01:00
Chuan-kai Lin	ce464a7d69	Remove pragma[assume_small_delta]	2023-06-30 11:09:29 -07:00
github-actions[bot]	668aaa2dc8	Post-release preparation for codeql-cli-2.13.5	2023-06-30 08:51:48 +00:00
github-actions[bot]	cf83baeead	Add changed framework coverage reports	2023-06-30 00:17:47 +00:00
Tony Torralba	b2e8167407	Merge pull request #13587 from github/koesie10/update-java-external-api-name ... Java: Fix external API name for nested types	2023-06-29 13:23:20 +02:00
Koen Vlaswinkel	6806b8750d	Java: Use getSourceDeclaration to handle generic types	2023-06-29 11:49:16 +02:00
github-actions[bot]	9d7987f822	Release preparation for version 2.13.5	2023-06-29 09:26:18 +00:00
jorgectf	9d8ae5039a	Add models for javax.portlet	2023-06-28 17:53:56 +02:00
Ian Lynagh	641f186afc	Merge pull request #13600 from igfoo/igfoo/fake_fun ... Kotlin: Remove a use of ObsoleteDescriptorBasedAPI	2023-06-28 15:50:27 +01:00
Ian Lynagh	a50d804ad7	Kotlin: Remove a use of ObsoleteDescriptorBasedAPI ... This isn't supported in Kotlin 2 mode, but removing this code doesn't affect any tests.	2023-06-28 13:48:43 +01:00
Kasper Svendsen	7c59f5ac18	Merge pull request #13578 from kaspersv/kaspersv/java-remaining-implicit-this ... Java: Enable implicit this warnings for remaining packs	2023-06-28 14:27:24 +02:00
Koen Vlaswinkel	51af03d2bc	Java: Add tests for names of nested classes	2023-06-28 09:52:25 +02:00
github-actions[bot]	0749af79d7	Add changed framework coverage reports	2023-06-28 00:18:40 +00:00
Ian Lynagh	4adecf0d15	Merge pull request #13586 from igfoo/igfoo/diag-limit ... Kotlin: Remove an out-of-date comment	2023-06-27 15:41:47 +01:00
Ian Lynagh	b0d2ca5df4	Merge pull request #13568 from igfoo/igfoo/android_lint ... Java: Tweak some android tests	2023-06-27 15:41:37 +01:00
Ian Lynagh	4415c364ac	Merge pull request #13542 from igfoo/igfoo/modality_final ... Kotlin: Remove an expected-no-getter exception	2023-06-27 15:41:27 +01:00