12413 Commits

Author	SHA1	Message	Date
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]	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
Anders Schack-Mulligen	3aaf48de11	Guards: Remove CustomGuard nesting in Guards instantiation.	2025-08-07 14:51:46 +02:00
Anders Schack-Mulligen	1823355fae	Merge pull request #20171 from aschackmull/java/nullness-fn ... Java: document nullness false negative as qltest	2025-08-05 14:17:09 +02:00
Anders Schack-Mulligen	94274288d3	Merge pull request #20127 from aschackmull/java/joinorder3 ... Java: Improve a couple of join-orders	2025-08-05 14:15:42 +02:00
Anders Schack-Mulligen	c59d20a668	Merge pull request #20163 from aschackmull/java/postdom-normal ... Java: Assume normal termination in post-dominance.	2025-08-05 14:01:04 +02:00
Anders Schack-Mulligen	23aac0ac51	Java: document nullness false negative as qltest	2025-08-05 13:49:51 +02:00
Anders Schack-Mulligen	273429d14a	Java: Accept qltest output	2025-08-05 10:32:53 +02:00
github-actions[bot]	fb4b0aac53	Post-release preparation for codeql-cli-2.22.3	2025-08-04 17:18:08 +00:00
github-actions[bot]	fd82aeb1f8	Release preparation for version 2.22.3	2025-08-04 15:47:57 +00:00
Anders Schack-Mulligen	0a27a8c255	Java: Assume normal termination in post-dominance.	2025-08-04 15:08:26 +02:00
Anders Schack-Mulligen	5ca9c090a8	Merge pull request #20132 from aschackmull/ssa/guardvalue ... SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-30 12:23:17 +02:00
idrissrio	ac52a1b123	Java: Move extractorInformationSkipKey predicate to library pack	2025-07-29 09:45:18 +02:00
Anders Schack-Mulligen	3b8234ecec	SSA: Update data flow integration and BarrierGuard interface to use GuardValue.	2025-07-28 11:29:12 +02:00
Anders Schack-Mulligen	6c8275298b	Java: Improve ObjFlow performance.	2025-07-25 14:41:06 +02:00
Anders Schack-Mulligen	5ca35afb8c	Java: Improve joinorder in getErasedRepr.	2025-07-25 13:34:11 +02:00
Anders Schack-Mulligen	e3021f4a65	Java: Untangle code a bit to improve join order.	2025-07-25 13:33:14 +02:00
Ian Lynagh	f148f434e1	Kotlin: Add a changenote for the addition of 2.2.2x support	2025-07-23 11:49:38 +01:00
Ian Lynagh	ad391df03f	Kotlin: Support 2.2.20	2025-07-23 11:47:52 +01:00
Ian Lynagh	09dd708086	Merge pull request #20031 from igfoo/igfoo/kotlin-tests-2.2.0 ... Kotlin: Run the tests with 2.2.0	2025-07-22 22:20:40 +01:00