Michael Nebel
|
0ed724eb13
|
Java: Make a flow summary for Set.clear using WithoutElement and introduce appropriate tests.
|
2023-08-08 11:10:08 +02:00 |
|
Anders Schack-Mulligen
|
cd22bb3505
|
Java: Add another test case.
|
2023-08-08 10:00:55 +02:00 |
|
Stephan Brandauer
|
3433437034
|
Java: automodel application mode: only extract the first argument corresponding to a varargs array
|
2023-08-07 14:15:17 +02:00 |
|
Michael Nebel
|
e62ec888c0
|
Merge pull request #13506 from michaelnebel/java/threatmodels
Java: Threat Models
|
2023-08-07 12:50:01 +02:00 |
|
Stephan Brandauer
|
e1a5eba61b
|
Java: automodel application mode: refactor varargs endpoint class to rely on normal argument node for nicer extracted examples
|
2023-08-07 12:18:52 +02:00 |
|
Stephan Brandauer
|
0781cb78e8
|
Java: automodel application mode: add isVarargsArray metadata value
|
2023-08-07 12:18:51 +02:00 |
|
Stephan Brandauer
|
5abf7769a7
|
Java: automodel application mode: use endpoint class like in framework mode
|
2023-08-07 12:18:51 +02:00 |
|
Tony Torralba
|
fb0102b763
|
Java: New models for JAX-RS
|
2023-08-07 11:52:23 +02:00 |
|
Tony Torralba
|
43b9199734
|
Java: Improved JaxWsEndpoint::getARemoteMethod
|
2023-08-07 10:21:58 +02:00 |
|
Michael Nebel
|
9c4d77a925
|
Java: Address review comments.
|
2023-08-04 13:47:30 +02:00 |
|
Paul Hodgkinson
|
fba37aa7c9
|
Merge branch 'main' into java/experimental/command-injection
|
2023-08-03 14:12:38 +01:00 |
|
aegilops
|
3658710578
|
Fixed formatting, committed expected test results
|
2023-08-03 13:50:40 +01:00 |
|
Anders Starcke Henriksen
|
e2abd3ff13
|
Create separate automodel pack.
|
2023-08-03 13:55:15 +02:00 |
|
Anders Schack-Mulligen
|
0ae81eace3
|
Java: update fixed test
|
2023-08-03 10:07:00 +02:00 |
|
Anders Schack-Mulligen
|
c5990311ca
|
Java: Redesign and reimplement variable capture flow.
|
2023-08-03 10:04:06 +02:00 |
|
Anders Schack-Mulligen
|
70bef64e2a
|
Java: Fix ratpack flow.
|
2023-08-03 10:04:05 +02:00 |
|
Anders Schack-Mulligen
|
9a4de208ef
|
Java: Fix qltests.
|
2023-08-03 10:04:05 +02:00 |
|
Anders Schack-Mulligen
|
d1a616a70a
|
Java: Add proper support for variable capture flow.
|
2023-08-03 10:04:02 +02:00 |
|
Michael Nebel
|
4568cccd71
|
Java: Add some unit tests for sourceModelKindConfig.
|
2023-08-01 12:56:13 +02:00 |
|
Michael Nebel
|
fc66b6ef9c
|
Java: Update test comments to reflect the MaD syntax.
|
2023-08-01 12:03:44 +02:00 |
|
Michael Nebel
|
e97a4a1aea
|
Java: Update telemetry test expected output.
|
2023-08-01 12:03:44 +02:00 |
|
Michael Nebel
|
0604a85bb1
|
Java: Add WithoutElement model for List.clear and add appropriate test.
|
2023-08-01 12:03:44 +02:00 |
|
Stephan Brandauer
|
bc3e78f034
|
Java: add automodel framework mode test case for newly supported interface-method parameter extraction
|
2023-08-01 09:18:58 +02:00 |
|
Stephan Brandauer
|
5ad984f22f
|
Java: update text expectations after merging #13823
|
2023-08-01 09:18:58 +02:00 |
|
Stephan Brandauer
|
da87d82d08
|
Java: fix a comment
|
2023-08-01 09:18:58 +02:00 |
|
Stephan Brandauer
|
be629b27ed
|
Java: Automodel package private test case
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
f5c4155d63
|
Java: Automodel tests: update after merging #13818
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
44b8ec642e
|
Java: merge framework mode tests into one
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
8cc367c45e
|
Java: merge application mode tests into one
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
37b6b46dbf
|
Java: update extraction query tests after merging PR #13747
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
50603102d1
|
Java: tests for automodel application mode, test that local calls are not candidates
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
457604e37e
|
Java: tests for automodel framework mode negative example extraction
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
938a7a788f
|
Java: tests for automodel application mode negative example extraction
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
abed936556
|
Java: tests for automodel framework mode positive example extraction
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
1bc222ec40
|
Java: tests for automodel application mode positive example extraction
|
2023-08-01 09:18:57 +02:00 |
|
Stephan Brandauer
|
2e89a11949
|
Java: tests for automodel application mode candidate extraction
|
2023-08-01 09:18:56 +02:00 |
|
Stephan Brandauer
|
18fe587e75
|
Java: tests for automodel framework mode candidate extraction
|
2023-08-01 09:18:56 +02:00 |
|
Paul Hodgkinson
|
3bc7cf6ac7
|
Merge branch 'main' into java/experimental/command-injection
|
2023-07-31 19:14:55 +01:00 |
|
Tony Torralba
|
2cbb7ed296
|
Java: Add XXE sinks for MDHT
|
2023-07-31 11:13:17 +02:00 |
|
Tony Torralba
|
41f1315da9
|
Merge pull request #13772 from atorralba/atorralba/java/inputstream-wrapper-read-step
Java: Add taint steps for InputStream wrappers
|
2023-07-31 11:12:43 +02:00 |
|
Tony Torralba
|
8685242c16
|
Add tests
|
2023-07-26 14:13:43 +02:00 |
|
Tony Torralba
|
602eb43109
|
Update partial flow test expectations
|
2023-07-26 09:32:13 +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
|
cc5a404149
|
Add more test cases
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
226103b246
|
Add local class test
|
2023-07-24 08:49:36 +02:00 |
|
Tony Torralba
|
0156fcc381
|
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
|
00e0e5a61a
|
Java: Add taint step for InputStream wrappers
|
2023-07-24 08:48:04 +02:00 |
|
Geoffrey White
|
369f88beda
|
Java: Fix for multiple parse mode flags.
|
2023-07-20 11:49:54 +01:00 |
|
Geoffrey White
|
32c10885d4
|
Java: Add test case.
|
2023-07-20 11:43:11 +01:00 |
|
Anders Schack-Mulligen
|
ae24d68b5d
|
C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.
|
2023-07-19 11:41:15 +02:00 |
|