12554 Commits

Author	SHA1	Message	Date
Ian Lynagh	6073180e02	KE2: Emit compilation_finished	2024-09-26 13:12:13 +01:00
Ian Lynagh	f2e47fc09e	KE2: More logging	2024-09-26 13:12:12 +01:00
Ian Lynagh	f3afedd510	KE2: We now create a Logger	2024-09-26 13:12:11 +01:00
Ian Lynagh	8b11b65292	KE2: Add the compilation properly	2024-09-26 13:12:10 +01:00
Ian Lynagh	0f12ec3a72	KE2: Start actually emitting some TRAP	2024-09-26 13:12:09 +01:00
Ian Lynagh	50c04b44ca	KE2: Tweak LogCounter; now renamed to DiagnosticCounter	2024-09-26 13:12:08 +01:00
Ian Lynagh	88c40d52c8	KE2: Build all Kotlin source files	2024-09-26 13:12:07 +01:00
Ian Lynagh	57da1df4bb	KE2: Get the test driver working	2024-09-26 13:12:06 +01:00
Ian Lynagh	d442a532ad	KE2: Merge KotlinExtractorExtension into KotlinExtractor	2024-09-26 13:12:05 +01:00
Ian Lynagh	ca0ed61147	KE2: Add the top-level eror handling	2024-09-26 13:12:04 +01:00
Ian Lynagh	9a1b3dd2de	KE2: Comment out KE1 code	2024-09-26 13:12:03 +01:00
Ian Lynagh	888c9bce44	KE2: Put the main source file into our package	2024-09-26 13:12:02 +01:00
Ian Lynagh	6ce74be717	KE2: Remove the KE1 resources	2024-09-26 13:12:01 +01:00
Ian Lynagh	1cfbc8e86d	KE2: Handle multiple files	2024-09-26 13:12:00 +01:00
Ian Lynagh	1bd1789861	KE2: Get source file list from arguments	2024-09-26 13:11:59 +01:00
Paolo Tranquilli	b0a1475c10	KE2: package ke2 executable with wrapper scripts	2024-09-26 13:11:57 +01:00
Ian Lynagh	602ffb0516	KE2: More steps towards something working	2024-09-26 13:11:56 +01:00
Ian Lynagh	1fc01606ec	KE2: More steps towards something working	2024-09-26 13:11:55 +01:00
Ian Lynagh	cd7b0e3757	KE2: Uncomment more imports	2024-09-26 13:11:54 +01:00
Paolo Tranquilli	7447474207	KE2: add some third party dependencies as maven artifacts	2024-09-26 13:11:53 +01:00
Paolo Tranquilli	dc51c5fc5b	KE2: add bazel BUILD file	2024-09-26 13:11:52 +01:00
Ian Lynagh	5189f17e6f	KE2: Remove old build system from the KE2 copy	2024-09-26 13:11:51 +01:00
Ian Lynagh	3c347317e5	KE2: Add trivial build	2024-09-26 13:11:50 +01:00
Ian Lynagh	8322e31148	KE2: Copy Kotlin extractor 1 to start Kotlin extractor 2 ... Sans deps.	2024-09-26 13:11:49 +01:00
Rasmus Wriedt Larsen	381ea93ec3	Merge pull request #17424 from RasmusWL/active-threat-model-source ... Go/Java/C#: Rename `ThreatModelFlowSource` to `ActiveThreatModelSource`	2024-09-26 13:08:17 +02:00
Chris Smowton	76914c40c9	Merge pull request #17591 from github/smowton/admin/java-23-change-note ... Add change note for Java 23 support	2024-09-26 10:14:21 +01:00
Michael Nebel	dd993c3900	Merge pull request #17509 from michaelnebel/modelgen/parammodule ... C#/Java: Re-factor the model generator to be a parameterized module.	2024-09-26 10:57:16 +02:00
Chris Smowton	ba5be80814	Typo	2024-09-25 21:32:52 +01:00
Chris Smowton	2c9488e475	Add change note for Java 23 support	2024-09-25 21:32:24 +01:00
Ian Lynagh	a6fce19b0c	Kotlin: Fix build with 2.1.0-Beta1	2024-09-25 15:23:35 +01:00
Ian Lynagh	5a03c35e9c	Kotlin: Add 2.1.0-Beta1	2024-09-25 15:23:34 +01:00
Ian Lynagh	f193084f9f	Kotlin: Add 2.1.0-Beta1 jars	2024-09-25 15:23:33 +01:00
Ian Lynagh	a8cad4963e	Kotlin: 2.1.0 is supported	2024-09-25 15:23:31 +01:00
Michael Nebel	e6085759ae	Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.	2024-09-24 15:46:44 +02:00
Michael Nebel	fd45d2dcbb	Shared: Move the model generator implementation to an internal folder.	2024-09-24 15:27:29 +02:00
Michael Nebel	22c2522aac	Shared: Make a ContentSensitive module with predicates and classes related to content flow.	2024-09-24 15:16:16 +02:00
Ian Lynagh	9b8152a44b	Java: Add up/downgrade scripts	2024-09-24 14:06:56 +01:00
Ian Lynagh	76662a6002	Java: Add changenote for deprecation of Field.getSourceDeclaration() and Field.isSourceDeclaration()	2024-09-24 14:06:55 +01:00
Ian Lynagh	bda779a58d	Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration() ... Also follows the removal of the sourceid column of fields.	2024-09-24 14:06:54 +01:00
Ian Lynagh	0be52f9660	Kotlin: Follow removal of sourceid column of the fields relation	2024-09-24 14:06:53 +01:00
Ian Lynagh	300864a38b	Java: dbscheme: Remove sourceid column of fields/5 ... It was always the same as the id column.	2024-09-24 14:06:53 +01:00
Tom Hvitved	6a11120e50	Address review comments	2024-09-24 14:21:40 +02:00
Tom Hvitved	f287216060	Update expected test output	2024-09-24 14:21:38 +02:00
github-actions[bot]	15bb670b3f	Add changed framework coverage reports	2024-09-24 00:20:17 +00:00
Chuan-kai Lin	1cd8af54f2	Merge pull request #17190 from github/cklin/diff-informed-java-queries ... Java: add support for alert location restrictions	2024-09-23 08:39:24 -07:00
Rasmus Wriedt Larsen	63c3a71d95	Merge branch 'main' into active-threat-model-source	2024-09-23 11:18:14 +02:00
Chuan-kai Lin	75ec8ce58e	Java: apply query alert restrictions	2024-09-20 07:47:58 -07:00
Anders Schack-Mulligen	3a1e50dcf9	Dataflow: Simplify diff-informed implementation and tweak flag name.	2024-09-20 07:07:10 -07:00
Chris Smowton	fe1081e880	Merge pull request #17510 from mbaluda/patch-1 ... Model summary for `org.springframework.core.io.getInputStream` methods	2024-09-19 15:47:31 +01:00
Michael Nebel	2033818e39	Java: Use the shared model generator implementation.	2024-09-19 12:20:51 +02:00