Michael Nebel
|
46ef954d5c
|
Java: Validate all accesspaths except for Field.
|
2023-03-22 10:05:46 +01:00 |
|
Michael Nebel
|
17b3383043
|
Merge pull request #12556 from michaelnebel/java/argumentthis
Java: Argument[-1] -> Argument[this]
|
2023-03-20 15:59:59 +01:00 |
|
Michael Nebel
|
e86f1e4961
|
Java: Replace Argument[-1] with Argument[this].
|
2023-03-20 10:14:20 +01:00 |
|
Ed Minnix
|
c852d3a541
|
Rename configurations from "Conf" to "Config"
|
2023-03-19 17:55:53 -04:00 |
|
Anders Schack-Mulligen
|
f54b02edb3
|
Java: Add a qltest demonstrating side-effect on a callback instance.
|
2023-03-13 13:22:18 +01:00 |
|
Anders Schack-Mulligen
|
5469a82efb
|
Go,Java,Python: Fix some tests.
|
2023-02-28 14:31:00 +01:00 |
|
Anders Schack-Mulligen
|
46d6f5af7e
|
Java: Update some tests.
|
2023-02-21 13:14:35 +01:00 |
|
Anders Schack-Mulligen
|
bb0ec46eb2
|
Java: Update tests.
|
2023-02-21 10:04:25 +01:00 |
|
Jami
|
babdee36aa
|
Merge pull request #11779 from jcogs33/jcogs33/model-more-top-jdk-apis
Java: model top JDK APIs
|
2023-01-17 10:20:32 -05:00 |
|
Jami Cogswell
|
f040ff2d8d
|
Java: undo change to Function.apply test case
|
2023-01-12 17:01:58 -05:00 |
|
Jami Cogswell
|
a39b2aaaac
|
Java: remove endsWith test case
|
2023-01-12 16:24:57 -05:00 |
|
Edward Minnix III
|
ce06df3152
|
Merge pull request #11628 from egregius313/egregius313/android-webview-addjavascriptinterface-dataflow
Java: Add parameters of methods annotated @JavascriptInterface as remote flow sources
|
2023-01-10 12:41:52 -05:00 |
|
Tony Torralba
|
32471d326e
|
Java: Remove omittable exists variables
|
2023-01-10 13:37:19 +01:00 |
|
Jami Cogswell
|
5d92792e40
|
Java: update test case affected by Function.apply model
|
2023-01-03 16:14:08 -05:00 |
|
Ed Minnix
|
28f555c2b2
|
Add simple test case for @JavascriptInterface parameter flow
|
2023-01-03 15:31:40 -05:00 |
|
Michael Nebel
|
6dc798f970
|
Java: Migrate tests to use implicit ext.yml data extensions.
|
2022-12-15 14:13:07 +01:00 |
|
erik-krogh
|
8262fbbfb5
|
Java/C#/GO: Use instanceof in more places
|
2022-12-11 18:32:19 +01:00 |
|
Michael Nebel
|
4c7cdc6245
|
Java: Remove unneeded imports of ExternalFlow.qll.
|
2022-12-05 09:49:38 +01:00 |
|
Michael Nebel
|
b80829a3a0
|
Java/Kotlin: Cleanup files needed for inline models.
|
2022-12-02 12:20:22 +01:00 |
|
Michael Nebel
|
43a63d6373
|
Java: Convert all models to data extensions in testcases.
|
2022-11-28 12:30:36 +01:00 |
|
Michael Nebel
|
805430983c
|
Java: Convert commons-io to data extensions.
|
2022-11-28 12:30:35 +01:00 |
|
Michael Nebel
|
7b6f202f23
|
Java: Renaming.
|
2022-11-28 12:30:34 +01:00 |
|
Ian Lynagh
|
63b64e4daa
|
Kotlin: Test tweaks for the diags consistency query
|
2022-10-25 16:26:11 +01:00 |
|
Anders Schack-Mulligen
|
6ef5fac239
|
Merge pull request #10814 from aschackmull/dataflow/synth-global
Dataflow: Add support for synthetic global fields in MaD.
|
2022-10-17 08:34:26 +02:00 |
|
Anders Schack-Mulligen
|
72fc9d1e65
|
Remove redundant import.
|
2022-10-14 13:28:09 +02:00 |
|
Anders Schack-Mulligen
|
2848909450
|
Dataflow: Add support for synthetic global fields in MaD.
|
2022-10-13 14:18:13 +02:00 |
|
Anders Schack-Mulligen
|
5b8fa3f8f9
|
Java: Add test for Stream.collect.
|
2022-10-13 11:17:44 +02:00 |
|
Jami Cogswell
|
65f3ae9829
|
clean up files
|
2022-09-23 18:59:27 -04:00 |
|
Jami Cogswell
|
24b34cd32f
|
add a few more tests, and some clean-up
|
2022-09-23 18:59:27 -04:00 |
|
Jami Cogswell
|
7a96727c59
|
add tests
|
2022-09-23 18:59:27 -04:00 |
|
Anders Schack-Mulligen
|
d713910714
|
Merge pull request #10334 from aschackmull/java/uniontypeflow
Java: Implement union type flow and replace ad-hoc variable tracking in dispatch
|
2022-09-14 13:34:28 +02:00 |
|
Anders Schack-Mulligen
|
64e2f4164d
|
Java: Add test for disjunctive type in call context.
|
2022-09-14 10:38:10 +02:00 |
|
Anders Schack-Mulligen
|
9f200633ca
|
Java: convert test to inline expectation
|
2022-09-14 10:17:31 +02:00 |
|
Tony Torralba
|
d5f101d7e6
|
Add implicit read FlowState test
|
2022-09-08 17:19:39 +02:00 |
|
Michael Nebel
|
1cb6d78d35
|
Merge pull request #10170 from michaelnebel/java/models-io
Java: Update models for commons-io and add negative models.
|
2022-08-31 11:05:09 +02:00 |
|
Tony Torralba
|
1f83c5833b
|
Merge pull request #10092 from zbazztian/zbazztian/string.replace-taint
Java: Add additional taint steps for java.lang.String methods
|
2022-08-30 12:24:37 +02:00 |
|
Michael Nebel
|
dbfd16647b
|
Java: Add negative model CSV validation test.
|
2022-08-29 14:29:32 +02:00 |
|
Michael Nebel
|
2e273f2273
|
C#: Re-arange the import order, such that CsvValidation follows ExternalFlow directly.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
37976d56bc
|
C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.
|
2022-08-24 09:58:53 +02:00 |
|
Michael Nebel
|
4939439982
|
Java: Re-factor CSV Validation into standalone module.
|
2022-08-24 09:58:52 +02:00 |
|
Sebastian Bauersfeld
|
354a7fd252
|
Make taint flow through java.lang.String.(replace|replaceFirst|replaceAll) more permissive.
|
2022-08-19 17:33:35 +07:00 |
|
Sebastian Bauersfeld
|
5cf320d553
|
Add corresponding taint steps.
|
2022-08-19 17:33:35 +07:00 |
|
Sebastian Bauersfeld
|
b0fbe3658d
|
Add java.lang.String taint tests.
|
2022-08-19 17:33:35 +07:00 |
|
Anders Schack-Mulligen
|
c034a1e268
|
Java: Fix test.
|
2022-08-17 12:46:35 +02:00 |
|
Chris Smowton
|
cc8e9806c4
|
Merge pull request #10009 from smowton/smowton/java17-options
Java: Adapt tests as required by JDK17 extractor upgrade
|
2022-08-10 18:46:06 +01:00 |
|
yo-h
|
c46b54b9c2
|
Java 17: exclude non-source locations in some tests
|
2022-08-09 11:50:54 +01:00 |
|
intrigus
|
88ded4679a
|
Accept test changes
|
2022-08-04 16:21:53 +02:00 |
|
intrigus
|
c867a1a146
|
Test setProperty/put with taint stored earlier
|
2022-08-04 16:21:51 +02:00 |
|
intrigus
|
0b7f0fbe54
|
Accept test changes
|
2022-08-04 16:21:50 +02:00 |
|
intrigus
|
55618adf6a
|
Model java.util.Properties.setProperty
|
2022-08-04 16:21:48 +02:00 |
|