Ian Lynagh
|
07e450d513
|
Merge pull request #9269 from igfoo/igfoo/cfg
Kotlin: Fix CFG
|
2022-05-24 10:53:00 +01:00 |
|
Ian Lynagh
|
8e64978ffd
|
Kotlin: Autoformat
|
2022-05-23 14:51:41 +01:00 |
|
Tamás Vajk
|
487425670e
|
Merge pull request #9229 from tamasvajk/kotlin-df-fix-list
Kotlin: extract non-private members of class supertypes
|
2022-05-23 14:04:31 +02:00 |
|
Ian Lynagh
|
62ece16cf4
|
Kotlin: Accept test changes
|
2022-05-23 11:27:22 +01:00 |
|
Ian Lynagh
|
42da7c6c58
|
Kotlin: Fix CFG
|
2022-05-23 11:27:22 +01:00 |
|
Tamas Vajk
|
4732793fb6
|
Change type tests
Linux and MacOS produced different results, so the queried types are now limited to ones that are visible in the source code.
|
2022-05-23 10:39:22 +02:00 |
|
Tamas Vajk
|
d3e64f5135
|
Kotlin: extract non-private members of class supertypes
|
2022-05-23 10:39:22 +02:00 |
|
Tamas Vajk
|
b0c6db4cfc
|
Kotlin: add missing dataflow test for List::iterator
|
2022-05-23 10:39:22 +02:00 |
|
Tamas Vajk
|
ab920d31dc
|
Repro for kotlin-java difference with generic types
|
2022-05-23 10:39:22 +02:00 |
|
Michael Nebel
|
bf958ff5bb
|
Merge pull request #9255 from michaelnebel/csharp/test-clearscontent
C#: Remove default clears content.
|
2022-05-23 10:30:30 +02:00 |
|
Anders Schack-Mulligen
|
f2218944f6
|
Merge pull request #9214 from hvitved/dataflow/lambda-fp-flow
Data flow: Do not discard call context when computing reverse lambda flow through jumps
|
2022-05-23 10:02:51 +02:00 |
|
Michael Nebel
|
ddde1d4607
|
C#: Remove default clears content.
|
2022-05-22 15:16:44 +02:00 |
|
Chris Smowton
|
5119de8d22
|
Merge pull request #9238 from atorralba/atorralba/remove-xxe-sinks
Java: Remove org.dom4j.DocumentHelper:parseText as XXE sink
|
2022-05-21 17:33:06 +01:00 |
|
Ian Lynagh
|
73759705ae
|
Merge pull request #9121 from github/igfoo/mjson
Kotlin: Write the log file as Line-delimited JSON
|
2022-05-20 13:51:20 +01:00 |
|
Tony Torralba
|
98f70dc7d3
|
Remove org.dom4j.DocumentHelper:parseText as XXE sink
|
2022-05-20 14:45:26 +02:00 |
|
Tony Torralba
|
aba4a9aa4a
|
Merge pull request #9233 from atorralba/atorralba/fix-field-init-test
Kotlin: Fix test to correctly highlight lack of flow from field init
|
2022-05-20 14:37:22 +02:00 |
|
Ian Lynagh
|
4eddb6224b
|
Kotlin: Format a query
|
2022-05-20 12:07:35 +01:00 |
|
Ian Lynagh
|
df9f75832c
|
Kotlin: Fix diagnostics test
|
2022-05-20 12:07:35 +01:00 |
|
Ian Lynagh
|
f7fa00ef6c
|
Kotlin: Accept test output
|
2022-05-20 12:07:35 +01:00 |
|
Ian Lynagh
|
9844ae703e
|
Merge pull request #9219 from igfoo/igfoo/livelits
Improve LiveLiterals
|
2022-05-20 11:42:16 +01:00 |
|
Anders Schack-Mulligen
|
8beef45599
|
Merge pull request #9195 from aschackmull/java/perf-local-flow
Java: Performance fixes for local flow relation
|
2022-05-20 12:38:02 +02:00 |
|
Tony Torralba
|
775b53b7b4
|
Fix test to correctly highlight lack of flow from field init
|
2022-05-20 12:36:10 +02:00 |
|
Michael Nebel
|
20af134ff0
|
Merge pull request #9210 from michaelnebel/dataflow/summarizedcallablerefactor
DataFlow - SummarizedCallable refactor
|
2022-05-20 09:32:30 +02:00 |
|
Tony Torralba
|
5498f41248
|
Apply code review suggestion to increase precision in getValue
|
2022-05-19 17:35:34 +01:00 |
|
Tony Torralba
|
bc84ff2031
|
Improve docs of LiveLiteral
Also remove transitive closure from calls
|
2022-05-19 17:35:27 +01:00 |
|
Chris Smowton
|
c9232c075c
|
Autoformat
|
2022-05-19 15:18:10 +01:00 |
|
Tom Hvitved
|
f83deb6571
|
Data flow: Sync files
|
2022-05-19 15:20:43 +02:00 |
|
Ian Lynagh
|
e319ab1b70
|
Kotlin: Format a query
|
2022-05-19 13:56:04 +01:00 |
|
Chris Smowton
|
1039e29b90
|
Adjust test result
|
2022-05-19 13:42:28 +01:00 |
|
Chris Smowton
|
4f08981586
|
Expand warning message to note that there are known Java extractor bugs relating to this query
|
2022-05-19 13:37:18 +01:00 |
|
Chris Smowton
|
e722c99218
|
Autoformat
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
4f54bb66b8
|
Accept consistency check failure
The Java extractor assigns a type with unbound type variables to the result of ImmutableSortedMap.of calls.
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
ea9aa59627
|
Add test
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
8a90ddefbb
|
Accept test changes
These are mainly moving the source locations and type specialisations in SAM-converted methods.
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
ada31f3075
|
Distinguish result type parameter names
This makes debugging a little easier.
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
49c9c36daf
|
Type-variable-in-scope consistency query: account for all enclosing elements that declare type parameters.
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
048a530aac
|
Type parameter scoping check: distinguish type arguments from type parameters
I had forgotten that the Java QL lib regards a ParameterizedType as either an instantiation Generic<String>, or the unbound declaration Generic<T>.
|
2022-05-19 11:55:31 +01:00 |
|
Chris Smowton
|
d291e0cf10
|
Fix typeParametersInScope consistency query
The selection of type variables mentioned in a particular class previously didn't work as intended, so the consistency query would always pass.
|
2022-05-19 11:55:31 +01:00 |
|
Anders Schack-Mulligen
|
651d9d0a44
|
Java: Ensure cached predicates are in the same stage.
|
2022-05-19 11:39:41 +02:00 |
|
Michael Nebel
|
22b9ef2e7b
|
Java: Adapt ExternalApi to refactor.
|
2022-05-19 11:30:36 +02:00 |
|
Anders Schack-Mulligen
|
0e830f6052
|
C#/Ruby/Java: Fix pragmas.
|
2022-05-19 11:26:38 +02:00 |
|
Michael Nebel
|
94a72ec051
|
Java: Refactor SummarizedCallable.
|
2022-05-19 11:10:58 +02:00 |
|
Erik Krogh Kristensen
|
215a6a72cc
|
Merge branch 'main' into useStringComp
|
2022-05-18 10:55:31 +02:00 |
|
Anders Schack-Mulligen
|
a4dac9fd2b
|
Merge pull request #9201 from Marcono1234/marcono1234/NumericType-type-qll
Java: Move `NumericType` to `Type.qll`
|
2022-05-18 10:31:40 +02:00 |
|
Anders Schack-Mulligen
|
af7df79289
|
Autoformat
|
2022-05-18 09:38:11 +02:00 |
|
Anders Schack-Mulligen
|
a4a004a322
|
Java: Simplify recursion prevention.
|
2022-05-18 09:27:55 +02:00 |
|
Anders Schack-Mulligen
|
d4c9fddae3
|
Java: Use fastTC.
|
2022-05-18 09:27:54 +02:00 |
|
Anders Schack-Mulligen
|
48ab5b2403
|
C#/Ruby/Java: Fix references.
|
2022-05-18 09:27:54 +02:00 |
|
Anders Schack-Mulligen
|
25fda206b2
|
Java: Prevent accidental recursion through AdditionalValueStep.
|
2022-05-18 09:25:23 +02:00 |
|
Anders Schack-Mulligen
|
1d3b3204df
|
Merge pull request #9190 from hvitved/dataflow/summary-arg-param-no-materialize
Data flow: Do not materialize `summaryArgParam`
|
2022-05-18 09:17:57 +02:00 |
|