Anders Schack-Mulligen
|
f598a0b607
|
Dataflow: Add test highlighting bug.
|
2024-07-23 14:34:33 +02:00 |
|
Owen Mansel-Chan
|
ff8bb2b1f8
|
Merge pull request #16760 from owen-mc/java/reverse-dns-separate-threat-model-kind
Java: make a separate threat model kind for reverse DNS sources
|
2024-07-23 10:08:52 +01:00 |
|
Jami Cogswell
|
4790656b79
|
Java: add TaintInheritingContent for URL synthetic fields
|
2024-07-20 23:03:32 -04:00 |
|
Owen Mansel-Chan
|
2a5144d9d9
|
Improve tests for reverse DNS sources
|
2024-07-20 21:40:02 +01:00 |
|
Ed Minnix
|
62944ee473
|
Add tests for lastaflute framework
|
2024-07-18 17:41:02 -04:00 |
|
Anders Schack-Mulligen
|
37d78249e7
|
Java: Update provenance ids.
|
2024-07-16 11:11:54 +02:00 |
|
Anders Schack-Mulligen
|
2bfd65f145
|
Java: update expected output
|
2024-07-16 11:11:54 +02:00 |
|
Anders Schack-Mulligen
|
dc64a08467
|
Java: Update test expectations for Object.clone().
|
2024-07-16 11:11:52 +02:00 |
|
Jami Cogswell
|
6b497da15f
|
Java: fix line number changes in tests
|
2024-07-11 15:33:09 -04:00 |
|
Jami Cogswell
|
c73af7f789
|
Java: update some test cases due to shifted alert provenance line numbers
|
2024-06-27 21:07:35 -04:00 |
|
Owen Mansel-Chan
|
878867205e
|
Fix taintsources test
|
2024-06-24 21:23:47 +01:00 |
|
Paolo Tranquilli
|
919ddccfdb
|
C++/Java: Accept new warning format in ql tests
|
2024-06-19 09:13:18 +02:00 |
|
Tony Torralba
|
292395b80e
|
Update test expectations
|
2024-06-04 10:35:16 +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 |
|
Anders Schack-Mulligen
|
5c635e982e
|
C++/C#/Java: Update expected output.
|
2024-05-27 11:01:52 +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
|
a74cf6501a
|
Java: update qltest expected files.
|
2024-05-22 11:13:06 +02:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Anders Schack-Mulligen
|
b87b8329a0
|
Dataflow: Use default fieldFlowBranchLimit in qltests.
|
2024-04-15 15:13:03 +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 |
|
Owen Mansel-Chan
|
fa614df3f4
|
Tests fixed by model for CharBuffer.wrap(char[])
|
2024-04-01 14:03:42 +01:00 |
|
Dave Bartolomeo
|
c11b8f9d51
|
Remove unused data extension in test
|
2024-03-25 19:14:54 -04:00 |
|
Chris Smowton
|
568bddc4a9
|
Add test cases for cases falling directly out of switch blocks
|
2024-03-25 16:31:40 +00:00 |
|
Chris Smowton
|
9fa2f19990
|
Add test for guards in the presence of fall-through between pattern and constant cases
|
2024-03-25 16:31:39 +00:00 |
|
Chris Smowton
|
c48e64e536
|
Add tests for the combination of anonymous labels and a guard
|
2024-03-25 16:31:39 +00:00 |
|
Chris Smowton
|
1e0766dffa
|
Add tests for case statement type test dominance against anonymous labels and fall-through
|
2024-03-25 16:31:39 +00:00 |
|
Chris Smowton
|
f2ff6c476a
|
Add printast tests for anonymous variables
|
2024-03-25 16:31:38 +00:00 |
|
Chris Smowton
|
5cb5ee026c
|
Fix pretty-printing of anonymous vars and multiple patterns; add test
|
2024-03-25 16:31:38 +00:00 |
|
Chris Smowton
|
f317f782ae
|
Add test for control-flow with mixed patterns, constants and fall-through
|
2024-03-25 16:31:38 +00:00 |
|
Chris Smowton
|
6cf956d07a
|
Add CFG test for anonymous variables and fall-throughs with pattern cases
|
2024-03-25 16:31:38 +00:00 |
|
Chris Smowton
|
cc8dcf63b0
|
Convert test to use an anonymous local
|
2024-03-25 16:31:38 +00:00 |
|
Chris Smowton
|
5243a62a41
|
Accept test changes
|
2024-03-25 16:31:37 +00:00 |
|
Chris Smowton
|
ef9544cbef
|
Adjust test expectations now signature type-accesses are named
|
2024-02-29 15:33:29 +00:00 |
|
Chris Smowton
|
140c3189e3
|
Adjust test expectations
|
2024-02-29 14:59:46 +00:00 |
|
Ian Lynagh
|
9948052fb6
|
Java: Properties: Add a test that used to give a stack overflow
|
2024-02-21 13:51:53 +00:00 |
|
Anders Schack-Mulligen
|
03f7968dbf
|
Dataflow: Fix flow-feature bug.
|
2024-02-16 11:38:30 +01:00 |
|
Anders Schack-Mulligen
|
ba1a0bc320
|
Java: Add test highlighting problem.
|
2024-02-16 11:25:33 +01:00 |
|
Tony Torralba
|
90a9d82b9d
|
Java: Expand ExactPathSanitizer to work on the argument of 'equals' too
|
2024-02-15 10:00:24 +01:00 |
|
Asger F
|
faefa056eb
|
Merge pull request #15507 from asgerf/shared/outbarrier-bugfix
Shared: fix a bug in stateful outbarriers
|
2024-02-12 21:44:49 +01:00 |
|
Anders Schack-Mulligen
|
e9e445b2ba
|
Java: Add empty provenance column to expected files.
|
2024-02-09 11:32:00 +01:00 |
|
Tony Torralba
|
4c0d535cc2
|
Merge pull request #12886 from atorralba/atorralba/java/path-injection-mad-sinks
Java: Refactor path injection sinks
|
2024-02-09 10:48:49 +01:00 |
|
Tony Torralba
|
e2bf9ea2eb
|
Consider File.exists() et al a path-injection sink
|
2024-01-30 14:51:36 +01:00 |
|
Tony Torralba
|
19cb7adb6d
|
Migrate path injection sinks to MaD
Deprecate and stop using PathCreation
Path creation sinks are now summaries
|
2024-01-26 12:19:54 +01:00 |
|
Asger F
|
ee8e9a4e66
|
Shared: update test output
|
2024-01-26 11:14:23 +01:00 |
|
Asger F
|
ddbacc3d4a
|
Shared: add test case for stateful outBarrier bug
|
2024-01-26 11:14:11 +01:00 |
|
Joe Farebrother
|
0acb647e7d
|
Fix tests and add notification sink kind to model verification
|
2024-01-23 09:51:41 +00:00 |
|
Tony Torralba
|
2246c969a3
|
Merge pull request #15244 from Marcono1234/marcono1234/regex-flags
Java: Improve Regex flag parsing
|
2024-01-16 08:25:49 +01:00 |
|
Owen Mansel-Chan
|
3767348dec
|
Update test expectations
|
2024-01-10 22:25:08 +00:00 |
|