Tamas Vajk
acab8e8632
Kotlin: Add FP test cases for resource leaks
2022-11-16 09:52:13 +01:00
Tamas Vajk
ac85d2eb3e
Exclude .kt files from java/complex-boolean-expression
2022-11-16 09:38:42 +01:00
Tamas Vajk
de833d620e
Kotlin: Add FP test case for unnecessarily complex bool expression
2022-11-16 09:35:18 +01:00
Ed Minnix
eb8ef72e47
Java: addJavascriptInterface query test case
2022-11-15 23:28:18 -05:00
Ed Minnix
3b96fefc71
Java: Add Android stubs to options file for CWE-079 test cases
2022-11-15 23:26:49 -05:00
Ed Minnix
10875568ec
Java: add negative test cases for WebView file access query
2022-11-15 13:50:31 -05:00
erik-krogh
c029048306
port the Java regex/redos queries to use the shared pack
2022-11-14 21:29:41 +01:00
Ed Minnix
7a0544d80e
Java: test files for WebView file access query
2022-11-14 15:11:15 -05:00
Ed Minnix
1132572620
Java: add test cases for setJavaScriptEnabled query
2022-11-14 14:33:12 -05:00
Michael Nebel
9b5318876d
Java: Improve tests and allow spurious models.
2022-11-10 13:57:44 +01:00
Michael Nebel
ce8ab0e66e
Simplify test predicate implementation.
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2022-11-10 13:57:44 +01:00
Michael Nebel
4cb82ad5a7
Java: Explicit import of needed classes from stream and some improvements to comments.
2022-11-10 13:57:43 +01:00
Michael Nebel
62603dd2bc
Java: Inline expectations for type based model test case.
2022-11-10 13:57:43 +01:00
Michael Nebel
8a0f00a5c9
Java: Update expected test output.
2022-11-10 13:57:43 +01:00
Michael Nebel
0c09f78142
Java: Comment in method for converting stream to Array.
2022-11-10 13:57:43 +01:00
Michael Nebel
5b65f5c185
Java: Change test implementation to avoid failing CFG dead end consistency test.
2022-11-10 13:57:43 +01:00
Michael Nebel
b80c533fb0
Java: Update expected test output.
2022-11-10 13:57:43 +01:00
Michael Nebel
937404892f
Java: Add further examples that are now supported.
2022-11-10 13:57:42 +01:00
Michael Nebel
dc79ed8192
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
d1b8bef248
Java: Add more stream functions. Comment methods out, where we are not happy with the generated result.
2022-11-10 13:57:42 +01:00
Michael Nebel
62de3e4ab6
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
716d6aeeee
Java: Add stream concat example.
2022-11-10 13:57:42 +01:00
Michael Nebel
efe802dac0
Java: Updated expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
52f69f77bc
Java: Add stream example methods using wildcards.
2022-11-10 13:57:42 +01:00
Michael Nebel
0caee16eb0
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
0cfd7787f4
Java: Add some examples of functional interfaces for functions with two parameters.
2022-11-10 13:57:42 +01:00
Michael Nebel
3a5d06272f
Java: Update expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
9ccff656bd
Java: Add some initial stubs for methods like java.util.stream.Stream.
2022-11-10 13:57:42 +01:00
Michael Nebel
309b6e0810
Java: Add expected test output.
2022-11-10 13:57:42 +01:00
Michael Nebel
f22e1db33f
Java: Add test case for capturing type based summaries.
2022-11-10 13:57:41 +01:00
Michael Nebel
207191f987
Java: Move dataflow based model generation testcases to a subfolder.
2022-11-10 13:57:41 +01:00
Jami
cfbaf5e53b
Merge pull request #10785 from jcogs33/insuff-key-size-globalflow-keysize
...
Java: Promote insufficient key size query from experimental
2022-11-08 18:05:01 -05:00
Jami Cogswell
bada986433
apply review comments
2022-11-08 15:29:33 -05:00
Jami Cogswell
b99a1d2cd9
update sink and tests
2022-11-08 15:29:33 -05:00
Jami Cogswell
0e93e71127
update tests
2022-11-08 15:29:33 -05:00
Jami Cogswell
5402001362
remove original sanitizer
2022-11-08 15:29:33 -05:00
Jami Cogswell
5dcd3b2c0f
clean up files
2022-11-08 15:29:33 -05:00
Jami Cogswell
5b089bbb9c
split sanitizer into three
2022-11-08 15:29:33 -05:00
Jami Cogswell
91491d9a7b
refactor into more classes; add more test cases; add LITERAL sanitizer
2022-11-08 15:29:33 -05:00
Jami Cogswell
6545cff0ef
add Pattern.quote sanitizer
2022-11-08 15:29:33 -05:00
Jami Cogswell
833c5edf06
move to .qll file and switch to InlineExpectations tests
2022-11-08 15:29:32 -05:00
Jami Cogswell
25436fe555
update options and qlref files
2022-11-08 15:29:32 -05:00
Jami Cogswell
32b140045e
move files out of experimental
2022-11-08 15:29:32 -05:00
Tamás Vajk
38abd389eb
Merge pull request #11045 from tamasvajk/kotlin-confusing-default
...
Kotlin: Excluded compiler generated methods from `java/confusing-method-signature`
2022-11-08 10:25:36 +01:00
Tony Torralba
ef967b6a21
Merge pull request #10890 from atorralba/atorralba/android-startactivities-summaries
...
Java: Add flow summaries for startActivities
2022-11-07 18:06:30 +01:00
Tamás Vajk
ed305d2699
Merge pull request #11032 from tamasvajk/kotlin-unused-for-loop-var
...
Kotlin: exclude loop variables on ranges from 'unused locals' check
2022-11-07 15:44:10 +01:00
Chris Smowton
eb365c1d24
Merge pull request #11079 from smowton/smowton/test/test-java-extractor-vs-captured-type-variables
...
Java: Add test for multiply-bounded wildcards
2022-11-07 12:31:19 +00:00
Tamás Vajk
830be92f1d
Merge pull request #11089 from tamasvajk/kotlin-enum-ctor-call
...
Kotlin: Extract missing arguments of enum constructor calls
2022-11-07 12:55:27 +01:00
Chris Smowton
e877967a62
Add test verifying no malformed wildcards result from captured type variables with a Collection<? extends ...> type
2022-11-07 10:29:04 +00:00
Chris Smowton
d999c1d3dd
Java: Add test for multiply-bounded wildcards
...
This exercises several cases of variables bounded both by a wildcard and by a bound on the type parameter, checking that the extractor strips the wildcards and captures to decide on a concrete type for the parameters and return values.
2022-11-07 10:29:04 +00:00
