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
|
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
|
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
|
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 |
|
Nora Dimitrijević
|
fbee6bbe21
|
Merge pull request #20077 from d10c/d10c/diff-informed-phase-3-java
Java: Diff-informed queries: phase 3 (non-trivial locations)
|
2025-07-21 11:23:12 +02:00 |
|
Anders Schack-Mulligen
|
937e3dc469
|
Merge pull request #20091 from aschackmull/java/fix-cfg-cp-assert
Java: Fix accidental CP in CFG for asserts.
|
2025-07-21 09:07:19 +02:00 |
|
Jami Cogswell
|
0dd33b2734
|
Java: remove version debugging from alert message
|
2025-07-19 13:01:00 -04:00 |
|
Jami Cogswell
|
7250265c1f
|
Java: consider all endpoints except for health and info as sensitive to align with Spring docs
|
2025-07-18 17:50:18 -04:00 |
|
Jami Cogswell
|
685f68d9d3
|
Java: support 'management.endpoints.web.expose' property
|
2025-07-18 17:50:17 -04:00 |
|
Jami Cogswell
|
7d5e939a86
|
Java: minor refactoring
|
2025-07-18 17:50:09 -04:00 |
|
Jami Cogswell
|
ea35fbbe3b
|
Java: support version 3.x
|
2025-07-18 17:50:07 -04:00 |
|
Anders Schack-Mulligen
|
d64a9368d2
|
Merge pull request #20088 from aschackmull/java/joinorders1
Java: Improve several join-orders
|
2025-07-18 14:54:26 +02:00 |
|
Anders Schack-Mulligen
|
bc2e7d4e0d
|
Java: Fix accidental CP in CFG for asserts.
|
2025-07-18 13:53:15 +02:00 |
|
Anders Schack-Mulligen
|
d9f47bdec9
|
Java: Improve join-order by properly annotating haveIntersection.
|
2025-07-18 11:48:50 +02:00 |
|
Anders Schack-Mulligen
|
12732525b5
|
Java: Allow 2-column join on delta to improve join-order.
|
2025-07-18 11:45:45 +02:00 |
|
Jami Cogswell
|
0d2a4222fd
|
Java: add related location to alert message
|
2025-07-17 19:22:18 -04:00 |
|
Jami Cogswell
|
ae163a9f36
|
Java: add overlay annotations
|
2025-07-17 19:22:17 -04:00 |
|
Jami Cogswell
|
2bfc4b4ee2
|
Java: fix test case for version 1.4
Need the existence of an ApplicationProperties File, not an ApplicationProperties ConfigPair
|
2025-07-17 19:22:15 -04:00 |
|
Jami Cogswell
|
1b90a30d45
|
Java: move code to .qll file
|
2025-07-17 19:22:11 -04:00 |
|
Nora Dimitrijević
|
24c28ed873
|
[DIFF-INFORMED] Java: UnsafeCertTrust
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-273/UnsafeCertTrust.ql#L21
|
2025-07-17 19:02:13 +02:00 |
|
Nora Dimitrijević
|
ea4af8323c
|
[DIFF-INFORMED] Java: TrustBoundaryViolation
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-501/TrustBoundaryViolation.ql#L18
|
2025-07-17 19:02:09 +02:00 |
|
Nora Dimitrijević
|
7888dcbce2
|
[DIFF-INFORMED] Java: TempDirLocalInformationDisclosure
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-200/TempDirLocalInformationDisclosure.ql#L56
|
2025-07-17 19:02:07 +02:00 |
|
Nora Dimitrijević
|
3785dbec9e
|
[DIFF-INFORMED] Java: TaintedEnvironmentVariable
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-078/ExecTaintedEnvironment.ql#L22
|
2025-07-17 19:02:05 +02:00 |
|
Nora Dimitrijević
|
b3b139bb02
|
[DIFF-INFORMED] Java: SqlConcatenated
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-089/SqlConcatenated.ql#L27
|
2025-07-17 19:02:04 +02:00 |
|
Nora Dimitrijević
|
45b627df1d
|
[DIFF-INFORMED] Java: SensitiveLogging
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-532/SensitiveInfoLog.ql#L20
|
2025-07-17 19:02:02 +02:00 |
|
Nora Dimitrijević
|
bc0b383595
|
[DIFF-INFORMED] Java: MaybeBrokenCryptoAlgorithm
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-327/MaybeBrokenCryptoAlgorithm.ql#L25
|
2025-07-17 19:02:00 +02:00 |
|
Nora Dimitrijević
|
b688df9dec
|
[DIFF-INFORMED] Java: LogInjection
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-117/LogInjection.ql#L20
|
2025-07-17 19:01:58 +02:00 |
|
Nora Dimitrijević
|
2d734056b1
|
[DIFF-INFORMED] Java: InsecureLdapAuth
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-522/InsecureLdapAuth.ql#L21
|
2025-07-17 19:01:56 +02:00 |
|
Nora Dimitrijević
|
74b37e71a0
|
[DIFF-INFORMED] Java: InsecureCookie
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql#L21
|
2025-07-17 19:01:52 +02:00 |
|
Nora Dimitrijević
|
19e5c3d805
|
[DIFF-INFORMED] Java: ImproperValidationOfArray…
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayIndexCodeSpecified.ql#L48
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstructionCodeSpecified.ql#L28
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstruction.ql#L26
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayIndex.ql#L24
|
2025-07-17 19:01:50 +02:00 |
|
Nora Dimitrijević
|
1c6ecf1216
|
[DIFF-INFORMED] Java: UntrustedDataToExternalAPI
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-020/UntrustedDataToExternalAPI.ql#L20
|
2025-07-17 18:59:15 +02:00 |
|
Nora Dimitrijević
|
0cf1195678
|
[DIFF-INFORMED] Java: ConditionalBypass
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-807/ConditionalBypass.ql#L26
|
2025-07-17 18:59:14 +02:00 |
|
Nora Dimitrijević
|
0bcdb421ed
|
[DIFF-INFORMED] Java: ArithmeticUncontrolled
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-190/ArithmeticUncontrolled.ql#L36
|
2025-07-17 18:59:11 +02:00 |
|
Nora Dimitrijević
|
54546f6e99
|
[DIFF-INFORMED] Java: ArithmeticTainted
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-190/ArithmeticTainted.ql#L35
|
2025-07-17 18:59:09 +02:00 |
|
Nora Dimitrijević
|
8353fdd041
|
[DIFF-INFORMED] Java: (Android)SensitiveCommunication
https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/java/ql/src/Security/CWE/CWE-927/SensitiveCommunication.ql#L20
|
2025-07-17 18:59:06 +02:00 |
|
Anders Schack-Mulligen
|
996de78a66
|
Java: Prune PathGraph for CsrfUnprotectedRequestType.ql
|
2025-07-17 15:06:38 +02:00 |
|
Anders Schack-Mulligen
|
1485d7072d
|
Merge pull request #19885 from aschackmull/java/annotated-exit-cfg
Java: Add AnnotatedExitNodes to the CFG.
|
2025-07-17 15:02:24 +02:00 |
|
Owen Mansel-Chan
|
af977e9ac7
|
Merge pull request #20067 from owen-mc/java/unsafe-deserialization-mad-sinks
Java: allow the definition of `java/unsafe-deserialization` sinks using data extensions
|
2025-07-17 13:42:31 +01:00 |
|
Owen Mansel-Chan
|
6629bd8279
|
No need to deprecate classes when module is deprecated
|
2025-07-17 11:52:31 +01:00 |
|
Owen Mansel-Chan
|
b361f76643
|
Delete unused private class
|
2025-07-17 11:36:06 +01:00 |
|
Anders Schack-Mulligen
|
54775e0958
|
Java: Adjust Paths.qll
|
2025-07-17 11:21:26 +02:00 |
|