Anders Schack-Mulligen
|
eaa96864f7
|
Java: Extend test to cover assertion-like barrier guards.
|
2025-12-10 12:23:52 +01:00 |
|
Anders Schack-Mulligen
|
109a5eb7e7
|
Java: Accept qltest changes due to dropped UntrackedDef.
|
2025-11-12 09:06:21 +01:00 |
|
Anders Schack-Mulligen
|
e059ded133
|
Java: Accept toString changes in qltest.
|
2025-11-12 09:06:21 +01:00 |
|
Anders Schack-Mulligen
|
f0bfd7053e
|
Java: Add test case.
|
2025-10-07 13:40:44 +02:00 |
|
Idriss Riouak
|
b89b68dfdb
|
Merge pull request #20339 from github/idrissrio/scoped-values
Java: Add MaDs for `java.lang.ScopedValue`
|
2025-09-10 11:21:34 +02:00 |
|
idrissrio
|
728a4aff22
|
Java: Add model for thenExpand and accept new results
|
2025-09-08 13:17:53 +02:00 |
|
idrissrio
|
3aba4d3e1e
|
Java: Add test showing missing model for thenExpand
|
2025-09-08 13:17:52 +02:00 |
|
idrissrio
|
55ff71b760
|
Java: Address review comment. Fix dataflow model
|
2025-09-08 13:17:51 +02:00 |
|
idrissrio
|
311690cffe
|
Java: accept new test results
|
2025-09-08 13:17:49 +02:00 |
|
idrissrio
|
16fbe8d96f
|
Java: add dataflow test for newly added KDF API
|
2025-09-08 13:17:46 +02:00 |
|
idrissrio
|
666678a582
|
Java: Address review comment. Inline dataflow annotation
|
2025-09-08 12:55:20 +02:00 |
|
idrissrio
|
a8541b9f76
|
Java: accept new test results
|
2025-09-08 12:55:15 +02:00 |
|
idrissrio
|
0159f5b422
|
Java: Add failing test for Scoped Values
|
2025-09-08 12:55:13 +02:00 |
|
Anders Schack-Mulligen
|
56c46d74f9
|
Java/Rust/Swift: Accept qltest changes.
|
2025-03-31 11:44:37 +02:00 |
|
Anders Schack-Mulligen
|
f27e8199a1
|
Java: Accept test changes.
|
2025-03-25 12:31:04 +01:00 |
|
Jami Cogswell
|
e17486a9d8
|
Java: rename springframework stubs directory from 5.3.8 to 5.8.x
|
2025-03-11 15:20:58 -04:00 |
|
Anders Schack-Mulligen
|
291ea6f6eb
|
Java: Move SSA data flow test and extend it to cover phi-read input edges.
|
2025-02-19 16:17:22 +01:00 |
|
Tom Hvitved
|
75137a0f4c
|
Java: Adopt shared SSA library
|
2025-02-11 10:06:43 +01:00 |
|
Asger F
|
be939dca29
|
Merge pull request #14350 from asgerf/shared/deduplicate-path-graph
Shared: Add DataFlow::DeduplicatePathGraph
|
2024-12-18 14:04:29 +01:00 |
|
Asger F
|
8340841d54
|
Shared: Fix propagation of call bit
|
2024-12-17 11:16:04 +01:00 |
|
Asger F
|
950ae44d03
|
Shared: Show test failures
|
2024-12-17 11:15:57 +01:00 |
|
Asger F
|
f2968f4e14
|
Shared: Ensure subpath-induced edges are handled properly
Argument-passing and flow-through edges are present in 'edges' in addition to 'subpaths', but the implementation didn't take this into account.
|
2024-12-16 13:21:43 +01:00 |
|
Michael Nebel
|
0a1d2d0bbb
|
Java: Update all test util paths to point to the new location.
|
2024-12-12 13:21:25 +01:00 |
|
Asger F
|
889100a243
|
Java: update test output with provenance
|
2024-12-11 13:19:47 +01:00 |
|
Asger F
|
afdbf2c3c6
|
Java: update test to account for key,val
|
2024-12-11 13:19:36 +01:00 |
|
Asger F
|
736388809d
|
Java: MethodAccess -> MethodCall
|
2024-12-11 13:19:25 +01:00 |
|
Asger F
|
5aa1242117
|
Shared: use a call bit when tracking reachability to/from a discriminator
|
2024-12-11 11:29:14 +01:00 |
|
Asger F
|
0eb543e0a9
|
Java: add test for spurious flow from path graph deduplication
|
2024-12-11 11:29:13 +01:00 |
|
Anders Schack-Mulligen
|
da179705c3
|
Java: Accept expected file changes.
|
2024-12-10 14:52:06 +01:00 |
|
Anders Schack-Mulligen
|
4bf63fedc9
|
Merge pull request #18179 from aschackmull/dataflow/accesspath-notypes
Dataflow: Remove tracked types from Access Paths, track tainted object type, and tweak type pruning.
|
2024-12-05 09:58:36 +01:00 |
|
Jeroen Ketema
|
89d20fd086
|
Java: Update expected test results
|
2024-12-03 19:18:59 +01:00 |
|
Anders Schack-Mulligen
|
9734cff15b
|
Java/C#: Update expected files.
|
2024-12-03 12:57:44 +01:00 |
|
yoff
|
6d6f269e6c
|
Merge pull request #17997 from yoff/java/inline-range-tests
|
2024-11-26 14:48:07 +01:00 |
|
Rasmus Lerchedahl Petersen
|
f508f8eb83
|
Java: address review comments
|
2024-11-26 11:44:16 +01:00 |
|
Rasmus Lerchedahl Petersen
|
25664d0e53
|
Java: Add support for non-integer bounds in inline expectations
|
2024-11-25 14:48:17 +01:00 |
|
Rasmus Lerchedahl Petersen
|
37935eea3b
|
java: separate bounds onto different lines
|
2024-11-25 12:32:11 +01:00 |
|
Tom Hvitved
|
5f9b8c05bd
|
Java: Update expected test output
|
2024-11-20 12:58:00 +01:00 |
|
yoff
|
6ed895064f
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2024-11-19 13:37:53 +01:00 |
|
Rasmus Lerchedahl Petersen
|
15953bf569
|
java: inline range test
|
2024-11-15 12:31:18 +01:00 |
|
Tom Hvitved
|
95e9d013cc
|
Update expected test output
|
2024-11-04 12:07:06 +01:00 |
|
Michael Nebel
|
e94cacd449
|
Java: Update test expected output where the query results are not affected.
|
2024-10-21 15:19:33 +02:00 |
|
Anders Schack-Mulligen
|
38818f3cd2
|
Java: Adjust Set.clear model to apply to overrides.
|
2024-09-30 15:46:42 +02:00 |
|
Michael Nebel
|
6f74387600
|
Merge pull request #17521 from michaelnebel/modelgen/moreimprovements
C#/Java: Content based model generation improvements.
|
2024-09-30 11:22:30 +02:00 |
|
Michael Nebel
|
a128383760
|
C#/Java: Add some dfc-generated test cases.
|
2024-09-26 13:01:01 +02:00 |
|
Rasmus Wriedt Larsen
|
63c3a71d95
|
Merge branch 'main' into active-threat-model-source
|
2024-09-23 11:18:14 +02:00 |
|
Tom Hvitved
|
ed9008a064
|
Update expected test output
|
2024-09-18 13:51:02 +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 |
|
Rasmus Wriedt Larsen
|
8c10155eb7
|
mass rename to ActiveThreatModelSource
|
2024-09-12 10:16:55 +02:00 |
|
Michael Nebel
|
15b06907dd
|
Java: Updated expected test output.
|
2024-08-27 14:48:14 +02:00 |
|