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
|
f0bd0346f0
|
Java: Replace usages of SsaVariable.
|
2025-11-12 09:06:19 +01:00 |
|
Anders Schack-Mulligen
|
f4b9efcdce
|
Java: Replace getAUse with getARead.
|
2025-11-12 09:06:18 +01:00 |
|
Anders Schack-Mulligen
|
35caede859
|
Java: Replace SsaPhiNode with SsaPhiDefinition.
|
2025-11-12 09:06:18 +01:00 |
|
Anders Schack-Mulligen
|
06df5c0bd1
|
Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.
|
2025-11-12 09:06:17 +01:00 |
|
Anders Schack-Mulligen
|
07e635636c
|
Java: Replace getAFirstUse with top-level predicate.
|
2025-11-12 09:06:16 +01:00 |
|
Anders Schack-Mulligen
|
f0bfd7053e
|
Java: Add test case.
|
2025-10-07 13:40:44 +02:00 |
|
Anders Schack-Mulligen
|
e8f1ec68db
|
Java: Accept guards test results.
|
2025-09-12 15:41:17 +02:00 |
|
Anders Schack-Mulligen
|
b5c7bc1b33
|
Java: Accept test output.
|
2025-09-10 15:42:18 +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 |
|
idrissrio
|
039b5af2e0
|
Java: Add module import declaration test
|
2025-09-06 12:38:40 +02:00 |
|
idrissrio
|
f1186432c1
|
Java: Accept new test result after extractor changes
|
2025-09-05 10:43:35 +02:00 |
|
idrissrio
|
b2ef60c165
|
Java: add tests for compact source files
|
2025-09-05 10:19:03 +02:00 |
|
idrissrio
|
9363bc318a
|
Java: Add compact source file tests
|
2025-09-05 10:18:58 +02:00 |
|
idrissrio
|
1605438333
|
Java: Accept new test result after extractor changes
|
2025-09-04 17:01:45 +02:00 |
|
idrissrio
|
6c773a7473
|
Java: Add test to verify that the AST does not capture instance initializers
|
2025-09-04 17:01:44 +02:00 |
|
idrissrio
|
fffb4c03b0
|
Java: add flexible constructor test including CFG predecessor query
|
2025-09-04 17:01:43 +02:00 |
|
idrissrio
|
6b022edf06
|
Java: Address review comment. Add prologue field initialization tests
|
2025-09-04 17:01:42 +02:00 |
|
idrissrio
|
de6d9f4d50
|
Java: Add test for flexible constructor support
|
2025-09-04 17:01:41 +02:00 |
|
Anders Schack-Mulligen
|
f90b6ab005
|
Guards: Add support for wrappers that may throw exceptions.
|
2025-08-07 14:51:48 +02:00 |
|
Anders Schack-Mulligen
|
0c31a80f3c
|
Guards: Generalise wrapper guards.
|
2025-08-07 14:51:47 +02:00 |
|
Anders Schack-Mulligen
|
e7a6259bd7
|
Java: Accept test changes.
|
2025-07-17 11:21:26 +02:00 |
|
Anders Schack-Mulligen
|
42b1b12aa1
|
Java: Fix qltests
|
2025-06-26 07:17:34 +02:00 |
|
Anders Schack-Mulligen
|
5c0dcd980d
|
Java: Switch to the shared Guards library.
|
2025-06-26 07:17:34 +02:00 |
|
Anders Schack-Mulligen
|
22d5dc999a
|
Shared: Bugfix for unique value implication.
|
2025-06-26 07:17:32 +02:00 |
|
Anders Schack-Mulligen
|
a0c849139c
|
Java: Add guards-logic qltest with inline expectation.
|
2025-06-26 07:17:28 +02:00 |
|
Owen Mansel-Chan
|
663c83d8c6
|
Merge pull request #19556 from owen-mc/java/pr/19512
Java: Fix SpringRequestMappingMethod URL Extraction #2
|
2025-05-22 15:08:31 +01:00 |
|
Owen Mansel-Chan
|
708bbe391e
|
Add test for SpringRequestMappingMethod.getAValue
|
2025-05-22 12:22:34 +01:00 |
|
Anders Schack-Mulligen
|
db01828717
|
Java: Deprecate redundant basic block predicates.
|
2025-05-21 09:01:46 +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
|
2750d1d889
|
Merge pull request #18646 from jcogs33/jcogs33/java/directory-chars-path-sanitizer
Java: path sanitizer for `replace`, `replaceAll`, and `matches`
|
2025-03-18 13:26:01 -04:00 |
|
Jami Cogswell
|
0d2e9ae469
|
Java: fix 'matches' false branch
|
2025-03-17 18:48:44 -04:00 |
|
Jami Cogswell
|
49d37c517d
|
Java: fix replacement char check and add tests
|
2025-03-17 16:02:13 -04:00 |
|
Jami Cogswell
|
2f6696e8a8
|
Java: add test
|
2025-03-17 15:13:33 -04: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 |
|
Jami Cogswell
|
76433a31f7
|
Java: generalize sanitizer and add tests
|
2025-03-10 18:56:01 -04:00 |
|
Chris Smowton
|
1577b40b45
|
Accept test changes
|
2025-02-28 11:23:07 +00:00 |
|
Chris Smowton
|
32e4c741cc
|
Merge pull request #18554 from smowton/smowton/admin/test-gbk-xml-extraction
Java: Add tests for XML and Java extraction with GBK charset
|
2025-02-21 17:27:32 +00:00 |
|
Anders Schack-Mulligen
|
1c616d10d4
|
Merge pull request #18819 from aschackmull/ssa/refactor-phiread3
Ssa: Refactor shared SSA in preparation for eliminating phi-read definitions
|
2025-02-21 08:56:38 +01:00 |
|
Chris Smowton
|
9162ce7d73
|
Add test for extraction of a Java file with a non-UTF-8 charset
|
2025-02-20 12:31:36 +00:00 |
|