Chris Smowton
9670f20bd7
Add test for method reference whose LHS has unknown type
...
This can happen when imports or source classes are missing.
2023-09-14 17:42:00 +01:00
Chris Smowton
6ea7b195db
Add test for a module declaration made in a file named other than module-info.java
...
This triggers a weird corner case in our extractor, which used to throw a null pointer exception.
2023-09-14 17:42:00 +01:00
Chris Smowton
c47ba000d6
Add test exercising the case of a missing type used as an interface
...
This induces the TypeEnter phase to create an ErrorType with a parameter, which in turn used to cause a stack overflow in comparing the TypeWrapper objects involved.
Note the output remains somewhat broken, exposing an <any> type, but at least the overflow is resolved.
2023-09-14 17:42:00 +01:00
Chris Smowton
4b5651bde9
Add test for Java extracting ErrorType
2023-09-14 17:42:00 +01:00
Chris Smowton
c0f8973749
Add test for extracting a Java AST with an error expression
...
Also note that ErrorExpr can occur outside upgrade/downgrade scripts
2023-09-14 17:42:00 +01:00
Ian Lynagh
e5ac7620e3
Kotlin: Add more tests to the "gradle sequential" set
2023-09-14 15:44:32 +01:00
Ian Lynagh
52d924924b
Kotlin: Extract LighterAST comments as well as PSI comments
2023-09-14 14:24:52 +01:00
Geoffrey White
af3d8c88bb
Java: Fix test comment.
2023-09-13 17:58:31 +01:00
Geoffrey White
1c81bd52e6
Java: Change note.
2023-09-13 17:51:26 +01:00
Geoffrey White
8c3e778be6
Java: Port regex mode flag character fix from Python.
2023-09-13 17:50:52 +01:00
Anders Schack-Mulligen
e677c1ffe6
Java: Add qltest
2023-09-13 15:43:46 +02:00
Anders Schack-Mulligen
c8094d34a7
Dataflow: Add type-based call-edge pruning.
2023-09-13 15:43:45 +02:00
Anders Schack-Mulligen
300425540a
Java: Minor improvement to TypeFlow for super accesses.
2023-09-13 15:43:45 +02:00
Anders Schack-Mulligen
a7b677ba40
Java: Bugfix for SuperAccess.isOwnInstanceAccess().
2023-09-13 15:43:45 +02:00
Anders Schack-Mulligen
110a4c81e3
Java: Minor perf fix.
2023-09-13 15:43:45 +02:00
Koen Vlaswinkel
0434cce4c3
Java: Fix formatting of AutomodelVsCode.qll file
2023-09-13 14:54:03 +02:00
Koen Vlaswinkel
95296f1518
Java: Use don't care expression for kind and provenance
2023-09-13 14:45:47 +02:00
Ian Lynagh
bd1d6e1d1e
Merge pull request #14188 from igfoo/igfoo/kotlin-1.9.20
...
Kotlin: Support 1.9.20
2023-09-13 12:19:46 +01:00
Koen Vlaswinkel
7db082f3fd
Java: Add VS Code model editor queries
2023-09-13 13:04:26 +02:00
Stephan Brandauer
7a7dc9b68f
Merge pull request #14184 from github/kaeluka/application-mode-new-candidates-fixes
...
Java: Automodel, new candidates fix
2023-09-13 09:27:10 +02:00
Ian Lynagh
df9c601571
Kotlin: Pass memory limits to kotlinc in some tests
...
We can run out of memory with the defaults
2023-09-12 23:14:41 +01:00
Ian Lynagh
4908188060
Kotlin: Add 1.9.20 support
2023-09-12 18:28:33 +01:00
Ian Lynagh
4d1ceff7df
Kotlin: Fix build
2023-09-12 18:28:33 +01:00
Ian Lynagh
2b9a425468
Kotlin: Support 1.9.20
2023-09-12 18:28:33 +01:00
Stephan Brandauer
928898e979
Java: automodel: add class and method doc to test code
2023-09-12 15:43:09 +02:00
Stephan Brandauer
089b147d04
Java: Automodel format
2023-09-12 14:27:12 +02:00
Stephan Brandauer
bd10ac799a
Java: Automodel application mode: add test expectations
2023-09-12 14:20:28 +02:00
Stephan Brandauer
8121c7fefa
Java: Automodel application mode: add method doc and class doc as related locations
2023-09-12 14:08:55 +02:00
Ian Lynagh
2f57a62a7a
Merge pull request #14144 from igfoo/igfoo/nonir
...
Kotlin: Give some more informative errors messages
2023-09-12 12:07:09 +01:00
Ian Lynagh
d8a99e6b7d
Kotlin: Regenerate expected test output
...
It's now in the order generated by the new CLI. This means that
changes in test output are easier to understand.
2023-09-12 11:13:58 +01:00
Stephan Brandauer
0115ba0df3
Java: Automodel: drive-by, add extensibleType metadata to app mode +/- extraction
2023-09-12 09:29:54 +02:00
intrigus-lgtm
b6417ca212
Java: Fix alert message
...
The signing key that is being set, is _not_ what is being parsed.
A _JWT_ is being parsed, that will then be verified using the set key.
(Or in our case not, because we're looking for security problems :P)
2023-09-12 02:23:37 +02:00
github-actions[bot]
d699880c86
Post-release preparation for codeql-cli-2.14.4
2023-09-08 21:17:52 +00:00
Stephan Brandauer
bbedd72260
Java: Automodel App Mode: rename MethodCall to MethodReturnValue
2023-09-08 13:57:21 +02:00
Stephan Brandauer
704c7ee104
Java: Apply suggestions from code review
...
Co-authored-by: Taus <tausbn@github.com >
2023-09-08 13:54:26 +02:00
Stephan Brandauer
4effc11fdb
Java: comments
2023-09-08 09:16:56 +02:00
Stephan Brandauer
c4f5213d68
Java: format
2023-09-07 15:50:03 +02:00
Stephan Brandauer
836a5822f3
Java: Automodel App Mode: remove bogus implementation
2023-09-07 15:49:58 +02:00
Stephan Brandauer
c173d9ae40
Java: automodel application mode: generate models for overridden method candidates
2023-09-07 15:49:58 +02:00
Stephan Brandauer
3121949123
Java: automodel application mode: test case for overridden method candidate
2023-09-07 15:49:58 +02:00
Stephan Brandauer
1e1b59ed52
Java: automodel: additionally consider sources for alreadyAiModeled property
2023-09-07 15:49:58 +02:00
Stephan Brandauer
6f7d78183f
Java: add endpoints for parameters of overridden methods in automodel application mode
2023-09-07 15:49:57 +02:00
Stephan Brandauer
dff8259e78
Java: support remote sources in automodel positive example extraction
2023-09-07 15:49:57 +02:00
Stephan Brandauer
fcabca4581
Java: Export MaD output in application mode extraction queries
2023-09-07 15:49:57 +02:00
Stephan Brandauer
8d133f86c7
Java: replace getArgIndex by getMaDInput
2023-09-07 15:49:57 +02:00
Stephan Brandauer
902a585b47
Java: remove isArgOf predicate
2023-09-07 15:49:57 +02:00
Stephan Brandauer
caaf2f83d7
Java: enable model exclusion characteristic also for source candidates
2023-09-07 15:49:57 +02:00
Stephan Brandauer
344aa9cb6b
Java: enable local call characteristic also for source candidates
2023-09-07 15:49:57 +02:00
Stephan Brandauer
afc5aedd0a
Java: enable exception characteristic also for source candidates
2023-09-07 15:49:57 +02:00
Stephan Brandauer
a526b79211
Java: enable unexploitable is/exists characteristics also for source candidates
2023-09-07 15:49:57 +02:00
