13956 Commits

Author	SHA1	Message	Date
Chris Smowton	9309a652df	Merge pull request #8493 from JLLeitschuh/feat/JLL/test_assertion_guard_preconditions ... [Java]: Add precondition support for testing library asserts	2022-03-31 22:30:09 +01:00
Chris Smowton	9bcf466aa8	Accept expected test result improvement	2022-03-31 15:19:08 +01:00
Chris Smowton	2829770003	Autoformat and fix typo	2022-03-31 14:11:09 +01:00
Anders Schack-Mulligen	f1ec2e3260	Merge pull request #8426 from atorralba/atorralba/missing-severities ... Java: Add missing security-severity scores	2022-03-31 14:53:47 +02:00
Anders Schack-Mulligen	8d9ce5fb4c	Merge pull request #8625 from aschackmull/java/qldoc-casing-fix ... Java: Fix acronym casing in qldoc referring to Java class names.	2022-03-31 13:33:11 +02:00
Chris Smowton	04325abfa5	Add test	2022-03-31 12:26:38 +01:00
Chris Smowton	c2d461bcee	Format	2022-03-31 12:19:53 +01:00
Chris Smowton	0d9c353c37	Represent switch statement and switch expression results alike	2022-03-31 12:19:11 +01:00
Chris Smowton	96bf754f01	Accept intrigus suggested doc clarifications ... Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>	2022-03-31 12:09:45 +01:00
Anders Schack-Mulligen	f28da00ec4	Java: Fix qldoc as followup to https://github.com/github/codeql/pull/8323	2022-03-31 12:50:36 +02:00
Michael Nebel	27b1d1e1e0	Merge pull request #8348 from michaelnebel/csharp/externalapi-telemetry ... C#: ExternalAPI implementation for Telemetry.	2022-03-31 11:36:07 +02:00
Chris Smowton	19cd97e426	Java: Clarify the meaning of getRuleExpression/Statement	2022-03-30 17:58:11 +01:00
Chris Smowton	9675f34cf5	Merge pull request #8257 from luchua-bc/java/insecure-webview-resource-response ... Java: CWE-200 Query to detect insecure WebResourceResponse implementation	2022-03-30 15:56:27 +01:00
Marcono1234	a93b4ed0f2	Java: Make JumpStmt a proper superclass	2022-03-30 00:30:27 +02:00
luchua-bc	fa2a6a7da3	Remove unnecessary taint step and update qldoc	2022-03-29 17:52:49 +00:00
Michael Nebel	6be41b0c29	C#/Java: Address review comments.	2022-03-29 14:52:57 +02:00
Michael Nebel	b0a24a7a44	C#: Change the implementation on getAnInput and getAnOutput based on hvitveds recommendations.	2022-03-29 14:52:57 +02:00
Michael Nebel	e1d4c1b68c	C#/Java: Reorder code in terms of dependency, rename ExternalAPI to ExternalApi and add some missing predicate qualifiers.	2022-03-29 14:52:52 +02:00
Michael Nebel	c552ab4138	Java: Remove duplicate import statement in ExternalAPI.qll.	2022-03-29 14:49:37 +02:00
Tony Torralba	e564481e9f	Organize imports	2022-03-29 11:38:24 +02:00
Michael Nebel	8e60073d5a	Java: Remove dataflow imports for java.qll.	2022-03-29 11:07:58 +02:00
Michael Nebel	f734edf8ff	C#/Java: Minor refactor and re-arranging of code to align the CaptureModel specific implementations.	2022-03-29 11:07:58 +02:00
Michael Nebel	3933dfa78e	Java: Make imports private and add parts of the dataflow library to java.qll (same as in C#).	2022-03-29 11:07:58 +02:00
Michael Nebel	26d5eb64b3	C#/Java: Initial merge ModelGeneratorUtils into CaptureModels.	2022-03-29 11:07:57 +02:00
Michael Nebel	9b7691a5fc	C#/Java: Address comments on re-exposing functionality.	2022-03-29 11:07:57 +02:00
Michael Nebel	1710b66003	C#/Java: Some minor variable name changes and QL Doc updates.	2022-03-29 11:07:57 +02:00
Michael Nebel	8a65efbae4	C#/Java: Add isRelevantSinkKind predicate with language specific implementation.	2022-03-29 11:07:57 +02:00
Michael Nebel	0009d781d7	Java: Make most imports private.	2022-03-29 11:07:57 +02:00
Michael Nebel	1c7d764d54	C#: Make most module imports private.	2022-03-29 11:07:57 +02:00
Michael Nebel	ad27a5a1a6	C#/Java: Add some more QL Doc to the CaptureModels[Specific] implementation.	2022-03-29 11:07:57 +02:00
Michael Nebel	5d62c48890	C#/Java: Move libraries to internal folder as these are for internal use only.	2022-03-29 11:07:57 +02:00
Michael Nebel	3d2ce57c9e	Java: Collapse all the specific code for summary, source and sink models into a single file.	2022-03-29 11:07:57 +02:00
Michael Nebel	852d8a2770	Java: Collapse all the shared code for summary, source and sink models into a single file.	2022-03-29 11:07:57 +02:00
Michael Nebel	79fd2e6a40	C#/Java: Make configurations private and sprinkle some QL Doc.	2022-03-29 11:07:57 +02:00
Michael Nebel	fb2a7dfb48	Java: Refactor CaptureSinkModels into language specific and generic part.	2022-03-29 11:07:57 +02:00
Michael Nebel	cc5fbbb7c5	Java: Minor cleanup in CaptureSinkModels.	2022-03-29 11:07:56 +02:00
Michael Nebel	45234b1631	Java: Refactor CaptureSourceModel to enable re-use.	2022-03-29 11:07:56 +02:00
Michael Nebel	f00837578b	Java: isPublic and fromSource check as this is already ensured by the TargetApi characteristic predicate.	2022-03-29 11:07:56 +02:00
Michael Nebel	f42ed1e3ad	Java: Cleanup imports in CaptureSourceModels.	2022-03-29 11:07:56 +02:00
Tony Torralba	6799838ece	Simplification	2022-03-29 09:43:37 +02:00
luchua-bc	833d842113	Drop the getPath check from the library	2022-03-28 20:14:40 +00:00
luchua-bc	657f615703	Fine tune the query and update qldoc	2022-03-28 20:05:12 +00:00
Marcono1234	f19ade3446	Java: Add StmtExpr	2022-03-27 01:42:34 +01:00
Michael Nebel	79f3da8af1	Merge pull request #8506 from michaelnebel/java/generalize-generate-flow-model ... Java/C#: Generalize script for generating flow models.	2022-03-25 16:20:53 +01:00
Chris Smowton	f0168d00d1	Merge pull request #8529 from github/smowton/admin/commons-lang3-test-typo ... Java: Fix harmless search-replace mistake	2022-03-25 10:36:00 +00:00
Chris Smowton	005a020f04	Merge pull request #8508 from igfoo/igfoo/error_elements ... Java: Add ErrorExpr, ErrorStmt	2022-03-24 10:39:14 +00:00
Michael Nebel	7eddc1e7ec	Java: Adjust scripts for new location.	2022-03-23 10:35:32 +01:00
Michael Nebel	7fc11be787	Java: Move generate_flow_model file into a shared models-as-data script folder.	2022-03-23 10:35:32 +01:00
Michael Nebel	6c9d1a3edb	Java: Make standalone library for shared functionality.	2022-03-23 10:35:32 +01:00
Michael Nebel	9564f8bf5c	Java: Put remainings parts of the generator code into the class.	2022-03-23 10:35:32 +01:00