Michael Nebel
787b4743ee
C#/Java: Rename the directories containing the model generator and tests.
2023-01-11 13:13:33 +01:00
Michael Nebel
178fd0e9e1
C#/Java: Remove all dashes in mode-generator.
2023-01-11 13:13:33 +01:00
Tony Torralba
32471d326e
Java: Remove omittable exists variables
2023-01-10 13:37:19 +01:00
Jami Cogswell
446ac75c87
Java: update unit test
2022-12-12 13:28:01 -05:00
Michael Nebel
1d103f57a0
C#/Java: Rename CaptureNegativeSummaryModels test to CaptureNeutralModels.
2022-12-09 15:04:43 +01:00
Michael Nebel
abe4d99e12
Java: Make some rudimentary tooling for testing the flow test case generator script.
2022-11-28 09:07:40 +01: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
Michael Nebel
a412c955e7
Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.
2022-08-24 09:58:54 +02:00
Michael Nebel
120fb25702
Java: Sync files and model generator and tests.
2022-08-24 09:58:52 +02:00
Michael Nebel
2cfeffcc17
Java: Update model generator tests with provenance column.
2022-06-20 16:20:02 +02:00
Michael Nebel
3a04e9a03d
Java: Update java capture models with new kind column (including tests).
2022-04-05 12:55:47 +02:00
Michael Nebel
24640c3670
Java: Make a testcase for wrappers of sources.
2022-02-28 16:57:36 +01:00
Anders Schack-Mulligen
908cc40c9f
Java: Fix bug in model flow sanitizer.
2022-02-28 16:48:23 +01:00
Asger Feldthaus
7f808710ec
Java: update model generator
2022-02-21 08:16:54 +01:00
Benjamin Muskalla
52406dc8df
Exclude logging sinks
...
Those sinks are too coarse grained to be exposed as sinks on any model.
2022-01-19 16:11:59 +01:00
Benjamin Muskalla
25d251c24f
Exclude main methods from models
2022-01-19 16:11:59 +01:00
Benjamin Muskalla
b4eadefb92
Fix test
2021-11-16 17:28:01 +01:00
Benjamin Muskalla
0e6bb28016
Only consider store steps
2021-11-16 10:46:24 +01:00
Benjamin Muskalla
f4310898b3
Capture sources flowing into parameters
2021-11-15 16:28:28 +01:00
Benjamin Muskalla
bca6cecd1c
Remove basic support for lambda flow
2021-11-15 12:38:30 +01:00
Benjamin Muskalla
a0b7f267ff
Only capture taint from own fields
...
Also exclude `Charset` as relevant taint-carrying type. This is generally
what we want to lets us avoid tracking arguments that lead to FP.
2021-11-12 10:15:15 +01:00
Benjamin Muskalla
b8809a20d8
Support propagating taint of inner object
2021-11-12 09:39:59 +01:00
Benjamin Muskalla
2d4176bec0
Ignore Number-derived types
2021-11-10 16:30:27 +01:00
Benjamin Muskalla
dbd393b77a
Support flow into field of referenced objects
2021-11-10 16:30:27 +01:00
Benjamin Muskalla
6960a7b97e
Remove extraneous last column
2021-11-10 16:30:25 +01:00
Benjamin Muskalla
e2bd792fc2
Consider bulk-like data for argument accessors
2021-11-10 16:30:25 +01:00
Benjamin Muskalla
739fe75194
Support flow for factory and strategy pattern
...
* Support models for factories that create
new instances of an object while tainting it with incoming data
* Support models to infer super types for
private implementations to expose the models
at the right level
2021-11-10 16:30:24 +01:00
Benjamin Muskalla
747ab122c3
Restrict fluent api models to same type access
2021-11-10 16:30:24 +01:00
Benjamin Muskalla
9500c9c8bc
Support lambda flow for source models
...
Also rely on public API to detect the source node
2021-11-10 16:30:24 +01:00
