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 |
|
Tom Hvitved
|
9905cd6436
|
Merge pull request #20192 from hvitved/rust/path-resolution-remove-source-lib-dedup
Rust: Remove source/library deduplication in path resolution
|
2025-08-11 13:40:34 +02:00 |
|
Geoffrey White
|
5fc8db8244
|
Merge pull request #20137 from geoffw0/cleartextstorage
Rust: New Query rust/cleartext-storage-database
|
2025-08-11 12:33:24 +01:00 |
|
Geoffrey White
|
3382d06ede
|
Rust: Remove newline.
|
2025-08-11 11:51:21 +01:00 |
|
Peter Stöckli
|
98d312fda1
|
Actions: clarify doc for untrusted checkout
|
2025-08-11 09:56:53 +00:00 |
|
Jeroen Ketema
|
f9f99a043c
|
Merge pull request #20126 from MathiasVP/fix-missing-global-flow
C++: Fix missing global variable flow
|
2025-08-11 11:54:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
c8eb1cf826
|
C++: Add change note.
|
2025-08-11 11:28:53 +02:00 |
|
Mathias Vorreiter Pedersen
|
851cb04d36
|
Merge pull request #20193 from MathiasVP/fix-fp-in-overflow-buffer
C++: Fix FP in `cpp/overflow-buffer`
|
2025-08-11 10:45:06 +02:00 |
|
Geoffrey White
|
a1bc865691
|
Merge pull request #20185 from geoffw0/typeconsistencycounts
Rust: Add rust/diagnostics/type-inference-consistency-counts.
|
2025-08-11 09:42:19 +01:00 |
|
Geoffrey White
|
04014d9bf0
|
Merge pull request #20150 from geoffw0/ctorinit
Rust: Update BadCtorInitialization.ql to use getCanonicalPath.
|
2025-08-11 09:41:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
ccfcd90f08
|
Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts
C++: Value numbering for casts that only modify specifiers
|
2025-08-11 10:33:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
56aacb1e55
|
Merge pull request #20145 from MathiasVP/fix-type-error-in-ir
C++: Fix missing `bool` -> `int` conversions in C code
|
2025-08-11 10:26:54 +02:00 |
|
Tom Hvitved
|
874f951727
|
Merge pull request #20172 from hvitved/shared/concepts-final-aliases
Shared: Use `final` aliases in `ConcentsShared.qll`
|
2025-08-11 10:14:55 +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 |
|
Paolo Tranquilli
|
e02a2d8eae
|
Merge pull request #20189 from github/redsun82/java-17-in-gradle-no-wrapper-tests
Java: use java 17 in `no-wrapper` tests
|
2025-08-08 17:47:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
b00107f927
|
C++: Add change note.
|
2025-08-08 15:23:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
0c9d14f417
|
C++: Accept test changes.
|
2025-08-08 15:14:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
d76ce4fb69
|
C++: Also handle reference types when computing 'trueSize'.
|
2025-08-08 15:12:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
26be9839df
|
C++: Add FP.
|
2025-08-08 15:10:40 +01:00 |
|
Tom Hvitved
|
c043e30d46
|
Rust: Remove source/library deduplication in path resolution
|
2025-08-08 13:28:18 +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 |
|
Geoffrey White
|
1965fdb158
|
Rust: Update consistency .expected.
|
2025-08-07 18:41:47 +01:00 |
|
Chuan-kai Lin
|
72563ec5a4
|
Merge pull request #20080 from d10c/d10c/diff-informed-phase-3-ruby
Ruby: Diff-informed queries: phase 3 (non-trivial locations)
|
2025-08-07 07:37:40 -07:00 |
|
Geoffrey White
|
38f4f8d1d2
|
Rust: Update suite lists.
|
2025-08-07 15:28:01 +01:00 |
|
Marcono1234
|
adf01e76cd
|
Doc: Fix link to warnOnImplicitThis GitHub docs
|
2025-08-07 16:02:36 +02:00 |
|
Geoffrey White
|
c5f83c4423
|
Rust: Add rust/diagnostics/type-inference-consistency-counts.
|
2025-08-07 14:43:48 +01: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
|
3674966946
|
Merge pull request #20121 from aschackmull/guards/wrapperguard
Guards: Improve support for wrapped guards
|
2025-08-07 15:41:04 +02:00 |
|
Anders Schack-Mulligen
|
2909def9b6
|
Guards: Rename predicate.
|
2025-08-07 14:51:50 +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
|
a40ae3a11a
|
Guards: Slight join-order improvement.
|
2025-08-07 14:51:49 +02:00 |
|
Anders Schack-Mulligen
|
ec513ead0d
|
Guards: Add support for extending BarrierGuards with wrapped invocations.
|
2025-08-07 14:51:48 +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
|
b156bd5ce2
|
Guards: Rename predicate.
|
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
|
6e52df1639
|
Guards: Rename module.
|
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 |
|