13070 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	eeb7bdba95	Merge pull request #1553 from rneatherway/java/add-null-guard ... Java: Add `isNotEmpty` to NullGuards	2019-07-09 11:25:21 +02:00
Robin Neatherway	204a28df94	Java: Add isNotEmpty to NullGuards	2019-07-05 12:41:46 +01:00
Jonas Jensen	5ea69601c3	Merge pull request #1525 from aibaars/drop-import-additional-libraries ... Drop ImportAdditionalLibraries.ql	2019-07-02 11:26:31 +02:00
Arthur Baars	9197c186e1	Drop: ImportAdditionalLibraries.ql	2019-06-28 15:53:07 +02:00
Anders Schack-Mulligen	a93ecae1ae	Java: Don't report lambdas (or other anon classes) as dead.	2019-06-28 12:59:54 +02:00
yh-semmle	0d4ff2d7fe	Merge pull request #1513 from aschackmull/java/whitelist-sha512 ... Java: Add SHA512 to the crypto whitelist.	2019-06-27 19:48:13 -04:00
Anders Schack-Mulligen	85eac80be9	Java: Add simple sanitizer for java/http-response-splitting.	2019-06-27 14:03:48 +02:00
Anders Schack-Mulligen	93646974a6	Java: Add SHA512 to the crypto whitelist.	2019-06-27 13:38:04 +02:00
Anders Schack-Mulligen	a583f000c1	Java: Fix tests.	2019-06-27 13:20:03 +02:00
Anders Schack-Mulligen	ff45387ead	Java: Minor TypeFlow precision improvement and refactor.	2019-06-27 12:42:46 +02:00
Anders Schack-Mulligen	2af3598223	Java: Restrict Object.toString dispatch based on a more closed-world assumption.	2019-06-26 17:42:40 +02:00
yh-semmle	32f48f4351	Java: add db stats for compilation/diagnostic relations	2019-06-12 17:21:35 -04:00
yh-semmle	ca7a5b3926	Java: add compilation/diagnostic relations to dbscheme	2019-06-12 17:21:34 -04:00
yh-semmle	547bd584a0	Merge pull request #1447 from aschackmull/java/equals-type-test ... Java: Improve precision of java/unchecked-cast-in-equals	2019-06-12 09:49:18 -04:00
Anders Schack-Mulligen	c199f2e8fe	Java: Improve precision of MissingInstanceofInEquals.ql	2019-06-12 14:05:42 +02:00
Esben Sparre Andreasen	3f11ae7eaa	Merge remote-tracking branch 'rc/1.21' into master	2019-06-12 12:57:55 +02:00
yh-semmle	8e6b62a301	Java: add QL library for modeling Android components	2019-06-10 13:00:03 -04:00
yh-semmle	0fb323b5ff	Java: add QL library for modeling AndroidManifest.xml files	2019-06-10 12:59:47 -04:00
Anders Schack-Mulligen	5fed6c78fe	Java: Include two more base cases in TypeFlow to improve virtual dispatch.	2019-06-06 14:45:23 +02:00
Anders Schack-Mulligen	98c5dc194b	Java: Rename to selector as per review comment.	2019-06-05 09:16:12 +02:00
Anders Schack-Mulligen	0e12df0a15	Java: Add SwitchExpr support in Guards.qll	2019-06-04 16:03:23 +02:00
yh-semmle	87cbc7e199	Merge pull request #1344 from aschackmull/java/validatedvariable ... Java: Replace ValidatedVariable with guarded accesses.	2019-05-24 11:23:18 -04:00
yh-semmle	64aa111b65	Merge pull request #1342 from aschackmull/java/field-annotation-cu ... Java: Check compilation unit of the same element in both disjuncts.	2019-05-22 16:36:24 -04:00
Anders Schack-Mulligen	3e5bbd96b1	Java: Account for non-source annotation on second field in multi-field declarations.	2019-05-22 11:33:10 +02:00
yh-semmle	29ae7b5c3c	Merge pull request #1322 from aschackmull/java/deprecate-remoteuserinput ... Java: Deprecate RemoteUserInput	2019-05-20 12:56:51 -04:00
Anders Schack-Mulligen	48b19f1fea	Java: Replace ValidatedVariable with guarded accesses.	2019-05-20 16:46:11 +02:00
Anders Schack-Mulligen	d0de0254e1	Java: Check compilation unit of the same element in both disjuncts.	2019-05-20 16:41:08 +02:00
yh-semmle	5466ae619d	Merge pull request #1317 from aschackmull/java/domedge ... Java: Refactor Guard.controls in terms of dominating edges.	2019-05-20 10:40:10 -04:00
Anders Schack-Mulligen	9ebeac25ad	Merge pull request #1329 from hvitved/dataflow/performance ... Data flow: performance improvements	2019-05-20 14:27:03 +02:00
Tom Hvitved	bc00877ff2	Data flow: Add nomagic to storeCand()	2019-05-20 12:05:20 +02:00
Tom Hvitved	360c7a1ac5	Address review comments	2019-05-20 09:59:17 +02:00
yh-semmle	6468721f76	Merge pull request #1324 from aschackmull/java/switchexpr-nullness ... Java: Add SwitchExpr to Nullness::dereference.	2019-05-19 22:24:27 -04:00
yh-semmle	e5f4d475d0	Merge pull request #1320 from aschackmull/java/guardslogic-perf ... Java: Fix join-order for GuardsLogic::conditionalAssign.	2019-05-19 22:23:18 -04:00
Tom Hvitved	02ca09aa43	Data flow: performance improvements	2019-05-16 07:35:10 +02:00
Anders Schack-Mulligen	531d30f048	Java: Add SwitchExpr to Nullness::dereference.	2019-05-15 13:20:55 +02:00
Anders Schack-Mulligen	3eb3cd345d	Java: Update qldoc and add callsImpl convenience wrapper.	2019-05-14 16:31:56 +02:00
Anders Schack-Mulligen	f9e4512f32	Java: Update polyCalls to use virtual dispatch.	2019-05-14 15:36:12 +02:00
Anders Schack-Mulligen	b71acd2ff9	Java: Deprecate RemoteUserInput	2019-05-14 12:33:36 +02:00
Anders Schack-Mulligen	14cad57960	Java: Improve joinorder for GuardsLogic::conditionalAssign.	2019-05-14 11:28:18 +02:00
Anders Schack-Mulligen	ebb63c8141	Java: Refactor Guard.controls in terms of dominating edges.	2019-05-13 16:35:30 +02:00
Max Schaefer	79e01a2de5	Merge pull request #1305 from aschackmull/java/abstract-flowsources ... Java: Introduce an abstract class RemoteFlowSource to ease customization.	2019-05-10 11:42:15 +01:00
Anders Schack-Mulligen	66813a91ef	Java: Postpone deprecation to separate PR.	2019-05-09 13:40:25 +02:00
Jonas Jensen	639d715d03	Merge pull request #1226 from hvitved/dataflow/prepare-for-csharp ... Generalize data-flow library in preparation for C# adoption	2019-05-06 14:42:46 +02:00
Anders Schack-Mulligen	f367427fb8	Java: Deprecate RemoteUserInput.	2019-05-06 13:43:58 +02:00
Anders Schack-Mulligen	10a6362357	Java: Introduce an abstract class RemoteFlowSource to ease customization.	2019-05-03 15:48:22 +02:00
Tom Hvitved	d9bf0a670e	Data flow: Address review comments	2019-05-03 15:00:48 +02:00
Tom Hvitved	b6206d7370	Data flow: Introduce ReturnKind	2019-05-02 20:30:50 +02:00
yh-semmle	3a988d0312	Java 12: revert addition of deprecated annotations for preview features	2019-04-30 10:59:08 -04:00
yh-semmle	6d59b4e049	Java 12: tweak queries to preserve behavior ... This accounts for the changes in af8faee1.	2019-04-30 10:59:08 -04:00
yh-semmle	de47f25141	Java 12: remove deprecated annotation from Stmt::getEnclosingStmt	2019-04-30 10:59:07 -04:00