Mauro Baluda
|
bb5ef3ccd9
|
Update provenance in test expectations
|
2024-06-10 19:57:37 +02:00 |
|
am0o0
|
240b4cd696
|
update tests
|
2024-06-08 01:05:55 +02:00 |
|
am0o0
|
ceea475c45
|
add new s3 and spring IO path injection sinks
|
2024-06-08 01:04:20 +02:00 |
|
Anders Schack-Mulligen
|
4ec4da4c8c
|
Dataflow/Java: Add support for pretty-printed provenace in tests. Convert one test.
|
2024-06-07 11:45:13 +02:00 |
|
Tony Torralba
|
292395b80e
|
Update test expectations
|
2024-06-04 10:35:16 +02:00 |
|
Tony Torralba
|
f16dd8c010
|
Apply code review suggestions.
|
2024-06-04 10:35:11 +02:00 |
|
Tony Torralba
|
f84c2a842d
|
Java: Add more File-related sinks for path-injection
|
2024-06-04 10:35:07 +02:00 |
|
Anders Schack-Mulligen
|
06ce40c687
|
Merge pull request #16561 from aschackmull/java/typeflow-effectively-private
Java: Improve dispatch through TypeFlow of effectively private calls.
|
2024-05-31 15:11:18 +02:00 |
|
Mauro Baluda
|
e2479a7ce2
|
Disable csrf for ServerHttpSecurity
|
2024-05-30 23:08:57 +02:00 |
|
Anders Schack-Mulligen
|
5c635e982e
|
C++/C#/Java: Update expected output.
|
2024-05-27 11:01:52 +02:00 |
|
Anders Schack-Mulligen
|
5a7174dcbb
|
Merge pull request #16500 from aschackmull/java/static-field-side-effect
Java: Add support for flow through side-effects on static fields.
|
2024-05-24 09:19:31 +02:00 |
|
Michael Nebel
|
9cf0995720
|
Java: Update test expected output.
|
2024-05-23 16:33:04 +02:00 |
|
Michael Nebel
|
1e54422662
|
Java: Add neutral implementations.
|
2024-05-23 15:00:23 +02:00 |
|
Anders Schack-Mulligen
|
bf3dbc24de
|
Java: Add support for flow through side-effects on static fields.
|
2024-05-23 12:57:57 +02:00 |
|
Anders Schack-Mulligen
|
70d3be0a3a
|
Java: Fix test.
|
2024-05-23 11:24:11 +02:00 |
|
Anders Schack-Mulligen
|
15a7c3faeb
|
Java: Accept qltest .expected file changes.
|
2024-05-22 15:42:40 +02:00 |
|
Anders Schack-Mulligen
|
a650499a9c
|
Java: Accept qltest .expected file changes (interesting).
|
2024-05-22 15:42:12 +02:00 |
|
Anders Schack-Mulligen
|
de5c69d0a1
|
Merge pull request #16551 from aschackmull/java/model-fixes
Java: Revise some jdk time-related models
|
2024-05-22 14:05:23 +02:00 |
|
Anders Schack-Mulligen
|
a74cf6501a
|
Java: update qltest expected files.
|
2024-05-22 11:13:06 +02:00 |
|
Michael Nebel
|
84e412fe36
|
Merge pull request #16477 from michaelnebel/csharp/madinlinetest
C#: Inline expectation for model generator test.
|
2024-05-22 11:05:23 +02:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Michael Nebel
|
78b8a9259a
|
Share the Models as Data inline expect predicates.
|
2024-05-17 09:44:57 +02:00 |
|
Michael Nebel
|
b1329fd806
|
Merge pull request #16362 from michaelnebel/java/removelocalqueries
Java: Remove local query variants.
|
2024-05-16 14:34:04 +02:00 |
|
Max Schaefer
|
d406646414
|
Java: Add tests for comparison-with-wider-type.
|
2024-05-15 12:45:19 +01:00 |
|
am0o0
|
02b0b402d6
|
remove useless predicate
add missed FlowState
|
2024-05-12 19:29:37 +02:00 |
|
am0o0
|
484923e706
|
update test files
|
2024-05-12 18:21:17 +02:00 |
|
Am
|
9946e07f36
|
Merge branch 'github:main' into amammad-java-bombs
|
2024-05-12 13:17:02 +02:00 |
|
Michael Nebel
|
5e2e224c9c
|
Java: Updated expected test output.
|
2024-05-08 14:42:53 +02:00 |
|
Michael Nebel
|
2a40a2a57f
|
Java: Add some inheritance test cases for the model generator and updated expected test output.
|
2024-05-08 13:01:41 +02:00 |
|
Michael Nebel
|
5fe3ab7890
|
Java: Prepare for inline test sharing with C#.
|
2024-05-07 10:38:24 +02:00 |
|
Michael Nebel
|
b53fa0f7f3
|
Java: Ensure that it is the callable for the model origin that carries the comment containing the model.
|
2024-05-06 16:41:58 +02:00 |
|
Michael Nebel
|
a8549d2e23
|
Java: Convert remaining tests to inline flow tests.
|
2024-05-06 15:54:01 +02:00 |
|
Michael Nebel
|
95ddd6ec74
|
Java: Generalize the inline mad test to allow further re-use.
|
2024-05-06 13:57:18 +02:00 |
|
Michael Nebel
|
51e7f3be1a
|
Java: Rename MaD to summary.
|
2024-05-06 13:03:38 +02:00 |
|
Michael Nebel
|
a33393d452
|
Java: Delete old summary models expected output.
|
2024-05-06 11:02:04 +02:00 |
|
Michael Nebel
|
7cb8a6c52f
|
Java: Inline models as data expected output as comments in the java files and add a test.
|
2024-05-06 11:01:23 +02:00 |
|
Michael Nebel
|
6815bcaa80
|
Java: Move param module into TestUtilities.
|
2024-05-06 10:19:39 +02:00 |
|
Michael Nebel
|
105984f7de
|
Java: Make param module for MaD inline test.
|
2024-05-06 10:01:34 +02:00 |
|
Michael Nebel
|
5b89bd23c7
|
Java: Deprecate the content of SqlTaintedLocalQuery and remove the local query variant.
|
2024-05-01 13:07:21 +02:00 |
|
Michael Nebel
|
d05c5e3d94
|
Java: Deprecate the content of NumericCastTaintedLocalQuery, remove the local query variant and update the non-local query variant.
|
2024-05-01 13:07:21 +02:00 |
|
Michael Nebel
|
301a6cc191
|
Java: Deprecate the content of ImproperValidationOrArray and remove local query variants.
|
2024-05-01 13:07:21 +02:00 |
|
Michael Nebel
|
acd0fa4b7b
|
Java: Deprecate the content of ExternallyControlledFormatStringLocalQuery and remove the externally controlled format string local query variant.
|
2024-05-01 13:07:21 +02:00 |
|
Michael Nebel
|
85a4dd0325
|
Java: Deprecate the local content of CommandLineQuery and remove the exec tainted local query variant.
|
2024-05-01 13:07:20 +02:00 |
|
Michael Nebel
|
072f19008a
|
Java: Deprecate the content of ArithmeticTaintedLocalQuery and remove the arithmetic tainted local query variant.
|
2024-05-01 08:59:51 +02:00 |
|
Michael Nebel
|
b754706e44
|
Java: Update SupportedExternalApi expected test output.
|
2024-04-26 12:39:46 +02:00 |
|
Michael Nebel
|
06f987ad58
|
Java: Add test example of a supported sink defined in QL.
|
2024-04-26 12:39:46 +02:00 |
|
Anders Schack-Mulligen
|
b87b8329a0
|
Dataflow: Use default fieldFlowBranchLimit in qltests.
|
2024-04-15 15:13:03 +02:00 |
|
Anders Schack-Mulligen
|
f85ff9defc
|
Java: Update expected output (interesting).
|
2024-04-12 09:20:28 +02:00 |
|
Anders Schack-Mulligen
|
c2f5731e8d
|
Java: Update expected output (uninteresting).
|
2024-04-12 09:20:26 +02:00 |
|
Anders Schack-Mulligen
|
2925e45434
|
Java/Dataflow: Propagate MaD-id/model-id to PathGraph.
|
2024-04-12 09:19:51 +02:00 |
|