Anders Schack-Mulligen
|
06df5c0bd1
|
Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.
|
2025-11-12 09:06:17 +01:00 |
|
Anders Schack-Mulligen
|
483b2d89a7
|
Java: Replace uses of SsaExplicitUpdate.
|
2025-11-12 09:06:16 +01:00 |
|
Anders Schack-Mulligen
|
07e635636c
|
Java: Replace getAFirstUse with top-level predicate.
|
2025-11-12 09:06:16 +01:00 |
|
Anders Schack-Mulligen
|
99aa0333cf
|
Java: Replace usages of isParameterDefinition.
|
2025-11-12 09:06:15 +01:00 |
|
Kasper Svendsen
|
c207cfdeb7
|
Overlay: Add overlay annotations to Java & shared libraries
|
2025-06-24 10:25:06 +02:00 |
|
Tony Torralba
|
6c0d47f122
|
Update java/ql/lib/semmle/code/java/frameworks/InputStream.qll
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
4e7438ac5c
|
Make sure that InputStreamWrapperCapturedLocalStep is indeed local
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
d3b3af8ae6
|
Re-adds jump step
Note that this causes FP flow in the call context test cases
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
36ff54b48b
|
Convert jump step into local step
Note that this has FNs in the test cases where the source is used locally in the nested classes' methods
|
2023-07-24 08:49:37 +02:00 |
|
Tony Torralba
|
f054f73836
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
1de68457ae
|
Move steps to InputStream.qll
|
2023-07-24 08:49:36 +02:00 |
|