Michael Nebel
a128383760
C#/Java: Add some dfc-generated test cases.
2024-09-26 13:01:01 +02:00
Michael Nebel
9a923d62ad
C#/Java: Updated expected test output.
2024-09-26 13:00:52 +02:00
Michael Nebel
0cd4ccb790
C#/Java: Update model generator expected test output.
2024-09-26 12:49:18 +02:00
Michael Nebel
aae8660acc
C#/Java: Add some examples of missing synthetic field element flow.
2024-09-26 12:00:29 +02:00
Michael Nebel
58513cadbf
C#/Java: Add model generator test examples.
2024-09-26 12:00:25 +02:00
Michael Nebel
dd993c3900
Merge pull request #17509 from michaelnebel/modelgen/parammodule
...
C#/Java: Re-factor the model generator to be a parameterized module.
2024-09-26 10:57:16 +02:00
Michael Nebel
e6085759ae
Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.
2024-09-24 15:46:44 +02:00
Michael Nebel
22c2522aac
Shared: Make a ContentSensitive module with predicates and classes related to content flow.
2024-09-24 15:16:16 +02:00
Tom Hvitved
6a11120e50
Address review comments
2024-09-24 14:21:40 +02:00
Tom Hvitved
f287216060
Update expected test output
2024-09-24 14:21:38 +02:00
Rasmus Wriedt Larsen
63c3a71d95
Merge branch 'main' into active-threat-model-source
2024-09-23 11:18:14 +02:00
Chris Smowton
fe1081e880
Merge pull request #17510 from mbaluda/patch-1
...
Model summary for `org.springframework.core.io.getInputStream` methods
2024-09-19 15:47:31 +01:00
Michael Nebel
4a9e3ee3aa
Merge pull request #17363 from michaelnebel/modelgen/fieldbasedimprovements
...
C#/Java: Content based model generation improvements.
2024-09-19 10:49:11 +02:00
Mauro Baluda
cab35a25a5
Remove duplicate summary for MultipartFile.getInputStream and update .expected file
2024-09-18 20:43:04 +02:00
Tom Hvitved
ed9008a064
Update expected test output
2024-09-18 13:51:02 +02:00
Anders Schack-Mulligen
2837d2551a
Merge pull request #17490 from aschackmull/java/capture-in-obinit
...
Java: Fix support for variable capture inside object initializers.
2024-09-18 09:29:01 +02:00
Anders Schack-Mulligen
a1a885efeb
Java: Expand test.
2024-09-17 11:38:53 +02:00
Anders Schack-Mulligen
20661a3c56
Java: Fix support for variable capture inside object initializers.
2024-09-17 10:42:21 +02:00
Ian Lynagh
41ed6e6695
Java: Deprecate RefType.nestedName(), and add RefType.getNestedName()
2024-09-16 17:16:25 +01:00
Rasmus Wriedt Larsen
8c10155eb7
mass rename to ActiveThreatModelSource
2024-09-12 10:16:55 +02:00
Michael Nebel
0fbeca14ad
Java: Add content based example with multiple paths.
2024-09-10 15:23:44 +02:00
Michael Nebel
d7e61d07d1
Java: Update some model generator test cases.
2024-09-10 15:23:34 +02:00
Michael Nebel
a5b462292f
Merge pull request #17330 from michaelnebel/java/modelgenfieldbased
...
Java/C#: Field based model generator (Experimental).
2024-09-06 11:11:46 +02:00
erik-krogh
e76dcf9df9
delete a test for a deleted file
2024-09-03 20:31:01 +02:00
Michael Nebel
5ddcb16cd6
Java: Add content based model generation test.
2024-09-03 12:58:01 +02:00
Michael Nebel
53b2471c9d
Java: Update expected test output.
2024-08-29 09:03:46 +02:00
Michael Nebel
fa5d6f12be
Java: Update logging test expected output.
2024-08-28 16:16:16 +02:00
Michael Nebel
395656a1cf
Java: Extend the logging test with a test case for parameters.
2024-08-28 16:13:32 +02:00
Michael Nebel
15b06907dd
Java: Updated expected test output.
2024-08-27 14:48:14 +02:00
Michael Nebel
021fd1450e
Java: Add some dispatch examples to the external flow step test.
2024-08-27 14:48:03 +02:00
Michael Nebel
7488cc0811
Java: Updated expected test output.
2024-08-27 13:28:13 +02:00
Michael Nebel
6cb5e13a23
Java: Re-factor tests and update expected test output.
2024-08-27 13:28:00 +02:00
Michael Nebel
68880b2056
Java: Update expected test output. Generated models are no longer applied as there exist a source implementation.
2024-08-27 13:27:55 +02:00
Asger F
9703f67794
Test output updates that only affect nodes/edges
2024-08-23 11:03:26 +02:00
Asger F
6bc8407bd6
Java: Update test output
2024-08-23 11:02:29 +02:00
Asger F
81239dcd95
Java: add test case
2024-08-22 11:26:05 +02:00
Asger F
43f54db4db
Merge pull request #17274 from asgerf/java/implicit-pending-intents-implicit-read
...
Java: Reveal false negative in test
2024-08-22 11:00:07 +02:00
Anders Schack-Mulligen
d97a301fef
Merge pull request #17105 from aschackmull/dataflow/stage6
...
Dataflow: Refactor stage 6 to use shared stage code.
2024-08-22 09:46:49 +02:00
Chris Smowton
15989ce213
Merge pull request #14089 from am0o0/amammad-java-JWT
...
Java: JWT decoding without verification
2024-08-21 14:14:08 +01:00
Asger F
3aa32e4aff
Java: use MISSING inline annotation
2024-08-21 13:40:40 +02:00
Asger F
f7ea8a1563
Java: trivial result set re-order
2024-08-21 13:37:38 +02:00
Asger F
5751fc2d3a
Java: Reveal false negative in test
...
One of the sinks was flagged for the wrong reason in the test case.
The flow into the 'startActivities' sink isn't working properly, but this was not revealed by the test since an alternate, spurious path exists. The spurious path goes through the implicit read at the prior sink and takes a use-use step to the 'startActivities' sink. Swapping the order of the two sinks reveals the false negative.
2024-08-21 13:36:47 +02:00
Anders Schack-Mulligen
525b6f30e3
C++/C#/Java: Accept test changes.
2024-08-21 10:51:28 +02:00
am0o0
b001c24dfc
update tests to pass the github actions
2024-08-20 20:57:11 +02:00
Chris Smowton
80e03c3c51
Improve ql/doc style
2024-08-19 16:25:06 +01:00
Chris Smowton
27522a2781
Remove redundant imports
2024-08-19 16:23:06 +01:00
Chris Smowton
9c0bdbb20a
Java: add a test exercising Spring component liveness detection
...
The existing Spring stubs are expanded sufficiently to support the needed annotations and a few referenced classes and exceptions.
2024-08-16 16:36:08 +01:00
am0o0
f4764378c9
update tests to contain the new source, delete query with local sources
2024-08-16 16:15:46 +02:00
Chris Smowton
f7d8c210e5
Merge pull request #17239 from smowton/smowton/admin/camel-test
...
Java: add test for Apache Camel dead-code analysis
2024-08-16 11:00:30 +01:00
Rasmus Wriedt Larsen
c3d8efc43d
Merge branch 'main' into stdin3
2024-08-16 09:54:45 +02:00
