13556 Commits

Author	SHA1	Message	Date
Ian Lynagh	9953794101	Kotlin: Add an extra test case for Kotlin array taint	2023-12-05 14:41:32 +00:00
Ian Lynagh	70ff59eee1	Merge pull request #14997 from igfoo/igfoo/locs ... Kotlin: Accept some location changes in test-kotlin2/library-tests/vararg	2023-12-05 11:18:27 +00:00
github-actions[bot]	48c15035b9	Add changed framework coverage reports	2023-12-05 00:16:34 +00:00
Ian Lynagh	1aa1698f44	Kotlin: Accept some location changes in test-kotlin2/library-tests/vararg	2023-12-04 16:44:38 +00:00
Jami	651653998c	Merge pull request #14913 from jcogs33/jcogs33/unsafe-url-forward_path-inj-related_cve-2019-3799 ... Java: add Spring models	2023-12-04 10:18:50 -05:00
Tony Torralba	649dc9d1d4	Merge pull request #14993 from github/shati-patel/fix-cwe-tags ... Update inconsistent CWE tags	2023-12-04 14:30:32 +01:00
Chris Smowton	97266c252e	Remove mention of TSP	2023-12-04 12:36:04 +00:00
Shati Patel	6284781a9b	Update inconsistent CWE tags ... Most tags use the "external/cwe/cwe-xxx" format, except for these few queries. Updating them for consistency.	2023-12-04 11:52:31 +00:00
Chris Smowton	6d5a493e2d	Add change note	2023-12-04 11:48:51 +00:00
Anders Schack-Mulligen	67f0529cda	Dataflow: Sync.	2023-12-04 12:36:57 +01:00
Anders Schack-Mulligen	fd920b8585	Java: Deprecate old data flow api.	2023-12-04 12:36:57 +01:00
Chris Smowton	ad713a7a93	Java: report any extracted file as successfully extracted	2023-12-01 22:35:00 +00:00
amammad	0d0dc5158c	stash	2023-12-01 15:03:03 +01:00
Chris Smowton	aa8f798853	Move condition into isNonFallThroughPredecessor	2023-11-30 11:24:07 +00:00
Chris Smowton	94819e37c4	More StmtParent -> SwitchBlock	2023-11-30 11:24:07 +00:00
Chris Smowton	e93fe8d614	Update change note	2023-11-30 11:24:07 +00:00
Chris Smowton	53ca8e5fe9	autoformat	2023-11-30 11:24:07 +00:00
Chris Smowton	633b92da62	Introduce and use SwitchBlock instead of StmtParent for switch-statement-or-expression	2023-11-30 11:24:07 +00:00
Chris Smowton	e50a0eee59	Remove duplicate of expr exception propagation logic	2023-11-30 11:24:07 +00:00
Chris Smowton	6f3bff19cc	Expose getFirstPatternCase, not getPatternCase/2	2023-11-30 11:24:07 +00:00
Chris Smowton	40464ed1f9	Eliminate duplicate predicate	2023-11-30 11:24:07 +00:00
Chris Smowton	3971817c92	Fix: ensure is a switch block	2023-11-30 11:24:07 +00:00
Chris Smowton	cc68169f43	Update test expectations re: record-pattern type accesses	2023-11-30 11:24:07 +00:00
Chris Smowton	b1cea1d91e	autoformat	2023-11-30 11:24:07 +00:00
Chris Smowton	561f06a4bd	Remove unused predicate	2023-11-30 11:24:06 +00:00
Chris Smowton	e9603f0aba	Factor out isNonFallThroughPredecessor	2023-11-30 11:24:06 +00:00
Chris Smowton	84ec453a80	Explicitly rule out switchCaseControls for PatternCase	2023-11-30 11:24:06 +00:00
Chris Smowton	77b1721542	Move TypeTestGuard's logic into Guard.appliesTypeTest	2023-11-30 11:24:06 +00:00
Chris Smowton	b33dc38a65	Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard	2023-11-30 11:24:06 +00:00
Chris Smowton	9b5b496462	Avoid quadratic switch case intermediate	2023-11-30 11:24:06 +00:00
Chris Smowton	d1e16ada4c	Tidy up pattern case CFG logic	2023-11-30 11:24:06 +00:00
Chris Smowton	beb827b1d0	Remove unused predicate	2023-11-30 11:24:06 +00:00
Chris Smowton	1cb5efa1ec	Simplify last nodes of rule cases	2023-11-30 11:24:06 +00:00
Chris Smowton	aa5f7352e2	Remove fall-through CFG edge for exhaustive switch statements	2023-11-30 11:24:06 +00:00
Chris Smowton	1047a89613	Improve complexity class of getASuccessorSwitchCase	2023-11-30 11:24:06 +00:00
Chris Smowton	d99a005b42	Fix pretty-printing case null, default	2023-11-30 11:24:06 +00:00
Chris Smowton	4bff7953fc	Fix record pattern and pretty-printing	2023-11-30 11:24:05 +00:00
Chris Smowton	419d530a06	Add test ensuring read steps via record patterns lead to type filtering	2023-11-30 11:24:05 +00:00
Chris Smowton	087be2cca8	Adjust test expectations	2023-11-30 11:24:05 +00:00
Chris Smowton	a11c5c7257	Fixup pretty-printer and add test	2023-11-30 11:24:05 +00:00
Chris Smowton	3bde66adfb	Pretty-print 'var' statements	2023-11-30 11:24:05 +00:00
Chris Smowton	07d2ce7a41	Change pretty-printing of PatternCase	2023-11-30 11:24:05 +00:00
Chris Smowton	5511955b60	Simplify getCaseIndex	2023-11-30 11:24:05 +00:00
Chris Smowton	bbc0f29f16	Restrict getCheckedType to unrestricted records, introduce getSyntacticCheckedType and use that where appropriate	2023-11-30 11:24:05 +00:00
Chris Smowton	29fdd04eb0	Include switch and instanceof binding in Variable.getAnAssignedValue, and test via endsInQuote	2023-11-30 11:24:05 +00:00
Chris Smowton	ef6ea71e43	Revert unnecessary exists statement	2023-11-30 11:24:05 +00:00
Chris Smowton	47e3d7d8a5	Cast back to Object in advance of returning, to ensure the test doesn't mask a shortcoming of type pruning by pruning at the return site	2023-11-30 11:24:05 +00:00
Chris Smowton	f0144d6a3d	Expose that case guard test controls its case body	2023-11-30 11:24:04 +00:00
Chris Smowton	da62a04653	Note that binding variables may be casting nodes	2023-11-30 11:24:04 +00:00
Chris Smowton	c11a260369	Note we can't prove certain unreachable callables when 'case null' is present	2023-11-30 11:24:04 +00:00