57744 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Dave Bartolomeo	9798fcddfa	Merge pull request #13998 from github/release-prep/2.14.3 ... Release preparation for version 2.14.3 codeql-cli/v2.14.3	2023-08-18 14:59:47 -04:00
github-actions[bot]	098dfb4242	Release preparation for version 2.14.3	2023-08-18 14:48:15 +00:00
Jonas Jensen	a002f59f58	C++: Undo BadlyBoundedWrite change from #13929 ... This rolls back the query change, ensuring that there is no need for a change note.	2023-08-18 13:48:58 +02:00
Jonas Jensen	478a105e21	C++: delete change note ... Since the previous commit removed the best evidence we had for the change described in this note, I'm removing the note for now.	2023-08-18 13:35:32 +02:00
Jonas Jensen	cd1f196848	C++: Accept regression in test after evaluator fix	2023-08-18 13:30:20 +02:00
Harry Maclean	222aa41bbf	Merge pull request #13938 from hmac/splat-flow-2 ... Ruby: More precise flow into splat parameters	2023-08-18 12:07:58 +01:00
Erik Krogh Kristensen	08ef31d452	Merge pull request #13916 from erik-krogh/limit-java-field-reg ... Java: limit field flow when tracking regex strings	2023-08-18 12:14:31 +02:00
Edward Minnix III	41a527cf72	Merge pull request #13934 from egregius313/egregius313/add-dashes-to-sha-algorithms ... Java: Add dashes to SHA algorithm names in `Encryption.qll`	2023-08-17 13:03:15 -04:00
Paolo Tranquilli	700f383bab	Merge pull request #13988 from github/redsun82/swift-version-macro ... Swift: fix version check macro to be lexicographic	2023-08-17 15:34:04 +02:00
Anders Schack-Mulligen	e27aad9d6c	Merge pull request #13987 from aschackmull/java/rangeanalysis-joinorder-fix ... Java: Join-order fix in RangeAnalysis.	2023-08-17 14:47:26 +02:00
Mathias Vorreiter Pedersen	af7fe89c5a	Merge pull request #13989 from MathiasVP/add-invalid-ptr-false-positive-3 ... C++: Add `cpp/invalid-pointer-deref` false positive	2023-08-17 12:50:55 +01:00
Mathias Vorreiter Pedersen	5f5a87e2c7	C++: Add false positive.	2023-08-17 12:13:16 +01:00
Paolo Tranquilli	75cc1d8f75	Swift: fix version check macro to be lexicographic	2023-08-17 12:19:28 +02:00
Anders Schack-Mulligen	f8a0b6cd22	Java: Add nomagic	2023-08-17 11:20:02 +02:00
Anders Schack-Mulligen	0afda68ba1	Java: Join-order fix in RangeAnalysis.	2023-08-17 11:07:24 +02:00
Tom Hvitved	7cc01ea8b5	Merge pull request #13595 from hvitved/csharp/use-shared-cfg-pack ... C#: Adopt shared CFG construction library from shared `controlflow` pack	2023-08-17 10:37:09 +02:00
Tony Torralba	67c557115b	Merge pull request #13915 from github/workflow/coverage/update ... Update CSV framework coverage reports	2023-08-17 10:03:04 +02:00
Tom Hvitved	fe0f766994	Merge pull request #13966 from hvitved/csharp/mad-repr-fix ... C#: Fix `getMadRepresentationSpecific`	2023-08-17 09:40:41 +02:00
Tom Hvitved	da8005dbd3	Code review suggestions	2023-08-17 09:26:58 +02:00
github-actions[bot]	b0da1ef892	Add changed framework coverage reports	2023-08-17 00:14:13 +00:00
Ian Lynagh	1fb4e13e0a	Merge pull request #13960 from igfoo/igfoo/parent ... Kotlin: Handle Kotlin 2 parents better	2023-08-16 16:27:15 +01:00
Mathias Vorreiter Pedersen	e56cd0b498	Merge pull request #13984 from MathiasVP/fix-expected-for-swift ... Swift: Fix expected files after a semantic merge conflict	2023-08-16 15:06:27 +01:00
yoff	7f2f6f14e7	Merge pull request #13729 from yoff/python/model-aws-lambdas ... Python/JavaScript: Shared module for serverless functions	2023-08-16 15:14:08 +02:00
Mathias Vorreiter Pedersen	b2c7c57815	Swift: Fix expected files after a semantic merge conflict.	2023-08-16 13:52:06 +01:00
Mathias Vorreiter Pedersen	66d13dc0d5	Merge pull request #13981 from MathiasVP/fix-orig-delta-for-subtraction ... C++: Fix original delta calculation for subtraction in new range analysis	2023-08-16 13:28:21 +01:00
Mathias Vorreiter Pedersen	20df63f26d	C++: Respond to review comments.	2023-08-16 12:50:41 +01:00
Jeroen Ketema	591565a0db	Merge pull request #13971 from jketema/float ... C++: Update test after float128 related extractor changes	2023-08-16 13:11:35 +02:00
Mathias Vorreiter Pedersen	5e14b5cca7	C++: 'origDelta' should always be 'odLeft' when deriving subtraction ranges.	2023-08-16 12:10:31 +01:00
yoff	b2988e5516	Update python/ql/lib/change-notes/2023-08-07-serverless-sources.md ... Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>	2023-08-16 12:56:39 +02:00
Mathias Vorreiter Pedersen	986aa74db7	Merge pull request #13972 from MathiasVP/range-analysis-for-sub-expr ... C++: Support subtraction in the new range analysis	2023-08-16 11:51:11 +01:00
Rasmus Wriedt Larsen	c55b0982f7	Merge pull request #13819 from yoff/python/relax-module-resolution ... Python: Relax module resolution	2023-08-16 12:04:49 +02:00
Michael Nebel	365b10183f	Merge pull request #13744 from tamasvajk/standalone/integration-test ... C#: Add integration test for standalone extraction	2023-08-16 10:50:12 +02:00
Stephan Brandauer	20254c3d0a	Merge pull request #13886 from github/kaeluka/java-automodel-variadic-args ... Java: automodel application mode: use endpoint class like in framework mode	2023-08-16 08:49:01 +02:00
Ed Minnix	cafd08521e	Add change note	2023-08-15 23:46:12 -04:00
Ed Minnix	7cfe78a52d	Add dashes to SHA algorithm names in Encryption.qll	2023-08-15 23:42:17 -04:00
Jeroen Ketema	4ada83c0ba	C++: Update test after float128 related extractor changes	2023-08-15 22:10:05 +02:00
Rasmus Lerchedahl Petersen	6614e037ae	Python: format	2023-08-15 21:40:20 +02:00
Chris Smowton	b8372c2f95	Merge pull request #13973 from github/smowton/fix/go-version-comparison ... Go: Don't warn when Go version exactly matches go.mod	2023-08-15 18:21:04 +01:00
Mathias Vorreiter Pedersen	49a5a39395	C++: Accept test changes.	2023-08-15 16:49:58 +01:00
Chris Smowton	3bcfbcdf68	Don't warn when Go version exactly matches go.mod ... We had only previously tested this with e.g. installed go 1.20.5 >= go.mod request `go 1.20`; now we have go 1.21.0 which shouldn't elicit a warning because 1.21.0 is equal to the go.mod request `go 1.21`.	2023-08-15 16:49:42 +01:00
Paolo Tranquilli	234763efa6	Merge pull request #13959 from github/redsun82/cmake-fix ... C++: make cmake generation work with internal rule `cc_binary_add_features`	2023-08-15 17:16:51 +02:00
Robert Marsh	3d20897725	Merge pull request #13910 from rdmarsh2/rdmarsh2/swift/for-await-cfg ... Swift: CFG test for for-try-await	2023-08-15 11:16:07 -04:00
Mathias Vorreiter Pedersen	e145b81f58	C++: Accept test changes.	2023-08-15 16:12:44 +01:00
Mathias Vorreiter Pedersen	109e45e112	C++: Add precise range analysis for subtraction.	2023-08-15 16:12:40 +01:00
Mathias Vorreiter Pedersen	3fb024164b	C++: Add a FP caused by bad range analysis for subtraction.	2023-08-15 16:00:35 +01:00
Mathias Vorreiter Pedersen	90888e592f	Merge pull request #13965 from MathiasVP/better-certain-writes-and-invalid-ptr-deref-prep ... C++: Remove more dataflow FPs after frontend upgrade	2023-08-15 15:43:55 +01:00
yoff	7eb41140ab	Update python/ql/lib/semmle/python/Module.qll ... Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>	2023-08-15 15:47:00 +02:00
Rasmus Lerchedahl Petersen	e6943ce98e	Python: use standard test format	2023-08-15 15:26:18 +02:00
yoff	99bc050366	Update shared/yaml/codeql/serverless/ServerLess.qll ... Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>	2023-08-15 15:09:30 +02:00
Kasper Svendsen	bb317bc558	Merge pull request #13968 from kaspersv/shadow-dbscheme ... QL language specs: declarations can shadow dbscheme types and preds	2023-08-15 14:20:04 +02:00