14067 Commits

Author	SHA1	Message	Date
Napalys Klicius	0b172080aa	Update java/ql/src/Violations of Best Practice/Implementation Hiding/VisibleForTestingAbuse.ql ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-08-22 09:23:49 +02:00
Napalys Klicius	d20fd5beba	Java: updated visible-for-testing-abuse meta data and docs.	2025-08-22 09:23:49 +02:00
Napalys Klicius	ea831a8352	Java: Fix VisibleForTestingAbuse false positives in annotations	2025-08-22 09:23:49 +02:00
Napalys Klicius	eb46e54c43	Java: Refactor VisibleForTestingAbuse query to reduce complexity	2025-08-22 09:23:49 +02:00
Napalys Klicius	225723bfeb	Java: Exclude @VisibleForTesting-to-@VisibleForTesting access from VisibleForTestingAbuse alerts	2025-08-22 09:23:49 +02:00
Napalys Klicius	e4042402bc	Java: Resolve spurious VisibleForTestingAbuse alerts for inner class access patterns	2025-08-22 09:23:49 +02:00
Napalys Klicius	1e2e6eccd7	Java: Test @VisibleForTesting method accessing @VisibleForTesting members	2025-08-22 09:23:49 +02:00
Napalys Klicius	7e2a1944f6	Java: Fix Predicate QLDoc style.	2025-08-22 09:23:49 +02:00
Napalys Klicius	9dfb4d4301	Java: Enchanced isWithinType to also include lambdas, inner classes etc.	2025-08-22 09:23:49 +02:00
Napalys Klicius	fbf18af076	Java: enchanced check if it is within same package	2025-08-22 09:23:49 +02:00
Napalys Klicius	2a16f4829e	Java: Expanded test suite of java/visible-for-testing-abuse	2025-08-22 09:23:49 +02:00
Napalys Klicius	ff6ddd2893	Java: Promoted java/visible-for-testing-abuse to quality	2025-08-22 09:23:49 +02:00
Napalys Klicius	652e9cba3d	Java: Added inline test expectations for java/visible-for-testing-abuse	2025-08-22 09:23:49 +02:00
Napalys Klicius	0c14d93bc6	Java: Added new query java/visible-for-testing-abuse	2025-08-22 09:23:49 +02:00
Chris Smowton	1829060fab	Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc319-into-main	2025-08-21 16:33:37 +01:00
Napalys Klicius	eb6e9b8fe6	Java: Fix java/jvm-exit false positives for local nested classes in test methods	2025-08-21 14:20:49 +00:00
Napalys Klicius	41a78a0c3d	Java: Added nested local class test case	2025-08-21 14:10:12 +00:00
Jami	771d7cb171	Merge pull request #20095 from jcogs33/jcogs33/java/finalizers-on-exit-and-garbage-collection ... Java: Add `previous-id` and adjust tags for `java/garbage-collection` and `java/run-finalizers-on-exit`	2025-08-21 08:10:36 -04:00
Napalys Klicius	46a2de69cd	Update java/ql/src/Violations of Best Practice/Undesirable Calls/CallsToSystemExit.ql ... Co-authored-by: Michael Nebel <michaelnebel@github.com>	2025-08-21 13:21:17 +02:00
REDMOND\brodes	30a07763e8	Crypto: Copilot suggested code changes.	2025-08-20 13:28:28 -04:00
REDMOND\brodes	33aa6c94df	Crypto: Adding tests for reuse nonce query for JAVA/JCA.	2025-08-20 13:21:18 -04:00
Ben Rodes	65ff72719e	Merge branch 'main' into signature_model_refactor	2025-08-20 12:34:06 -04:00
github-actions[bot]	e74116b347	Add changed framework coverage reports	2025-08-20 00:23:14 +00:00
github-actions[bot]	42e3d31c49	Post-release preparation for codeql-cli-2.22.4	2025-08-18 14:42:42 +00:00
github-actions[bot]	90d29994c8	Release preparation for version 2.22.4	2025-08-18 14:06:09 +00:00
Sid Gawri	d84e5319c3	changenote	2025-08-15 15:59:05 -04:00
Sid Gawri	a8889ff056	add extensions for remote sources	2025-08-14 16:10:49 -04:00
Anders Schack-Mulligen	b67394a450	Merge pull request #20183 from aschackmull/java/barrierguard-wrappers ... Java: Enable BarrierGuard wrappers	2025-08-14 16:06:21 +02:00
Napalys Klicius	ff648fcb27	Java: Removed redundant cast to Stmt	2025-08-11 13:43:36 +02:00
Napalys Klicius	f41cb67a69	Java: Promote java/mocking-all-non-private-methods-means-unit-test-is-too-big to quality status	2025-08-11 13:43:36 +02:00
Napalys Klicius	b56f8cca2d	Java: Fix QLDoc style compliance and qhelp for mocking query	2025-08-11 13:43:36 +02:00
Napalys Klicius	53ccc56959	Java: exclude single-method classes from mocking	2025-08-11 13:43:36 +02:00
Napalys Klicius	a9e9a62439	Java: add single-method class test case for mocking rule ... Classes with only one public method should be compliant when mocked.	2025-08-11 13:43:36 +02:00
Napalys Klicius	22caa584ad	Java: Add inline test expectations for MockingAllNonPrivateMethodsMeansUnitTestIsTooBig.qlref	2025-08-11 13:43:36 +02:00
Napalys Klicius	50c7160819	Java: port java/mocking-all-non-private-methods-means-unit-test-is-too-big query	2025-08-11 13:43:36 +02:00
Napalys Klicius	f6aad96504	Java: Update docs and promote to quality java/jvm-exit	2025-08-11 09:24:01 +02:00
Napalys Klicius	4df613ce37	Java: Improved java/jvm-exit query to remove FP's.	2025-08-11 09:24:01 +02:00
Napalys Klicius	d41a5e3a25	Java: Added basic test cases for java/jvm-exit	2025-08-11 09:24:01 +02:00
Anders Schack-Mulligen	492a5ca087	Java: Add some more exception edges to the CFG to facilitate guard wrappers.	2025-08-08 10:40:07 +02:00
Anders Schack-Mulligen	e94f018e14	Kotlin: Support kotlin Throws annotations.	2025-08-08 10:28:58 +02:00
Paolo Tranquilli	72843b56e8	Java: use java 17 in no-wrapper tests ... Gradle 9 requires Java 17.	2025-08-08 08:58:56 +02:00
Anders Schack-Mulligen	3b3f4bc782	Java/Guards: Remove unused.	2025-08-07 15:43:00 +02:00
Anders Schack-Mulligen	b19f15b3aa	Java: Simplify ArithmeticCommon using BarrierGuards.	2025-08-07 15:43:00 +02:00
Anders Schack-Mulligen	9957cbe656	Java/Guards: Improve BarrierGuards to include validate(x = ...) checks.	2025-08-07 15:42:59 +02:00
Anders Schack-Mulligen	a04ff18ba4	Java: Enable validation wrappers in BarrierGuards.	2025-08-07 15:42:59 +02:00
Anders Schack-Mulligen	b51c0e7cb6	Java: Add change note.	2025-08-07 14:51:50 +02:00
Anders Schack-Mulligen	d9cfe14729	Java: Accept qltest change.	2025-08-07 14:51:49 +02:00
Anders Schack-Mulligen	f90b6ab005	Guards: Add support for wrappers that may throw exceptions.	2025-08-07 14:51:48 +02:00
Anders Schack-Mulligen	0c31a80f3c	Guards: Generalise wrapper guards.	2025-08-07 14:51:47 +02:00
Anders Schack-Mulligen	1bdaa2420d	Java: Simplify Guards instantiation a bit.	2025-08-07 14:51:46 +02:00