Anders Schack-Mulligen
|
fcb677e84d
|
Java: Add a neutral for Collection.remove.
|
2024-09-30 15:46:43 +02:00 |
|
Anders Schack-Mulligen
|
38818f3cd2
|
Java: Adjust Set.clear model to apply to overrides.
|
2024-09-30 15:46:42 +02:00 |
|
Anders Schack-Mulligen
|
1f95fa10fb
|
Java: Fix comment re. neutrals and WithoutElement.
The remove methods should not have been in this section, as they're
plain neutrals.
|
2024-09-30 15:08:56 +02:00 |
|
Anders Schack-Mulligen
|
54f2316d00
|
Java: Add a neutral model.
|
2024-05-22 10:29:49 +02:00 |
|
Owen Mansel-Chan
|
7371f5e508
|
Provenance should be "df-manual"
|
2024-03-19 13:33:49 +00:00 |
|
Owen Mansel-Chan
|
764e99bda7
|
Fix model for java.util.Scanner#findall(String)
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2024-03-18 16:56:20 +00:00 |
|
Owen Mansel-Chan
|
8e52483beb
|
Add df-manual models in manually modeled classes
|
2024-03-15 10:10:23 +00:00 |
|
Owen Mansel-Chan
|
5b734c76b6
|
Add manual neutral models for java.util.Locale and its subclasses
|
2024-03-14 11:39:59 +00:00 |
|
Tony Torralba
|
eecab9122a
|
Recognize the model generator involvement in the models' provenances
|
2024-03-14 08:56:23 +01:00 |
|
Tony Torralba
|
36f6a6fb10
|
Model more EnumSet methods as neutrals
|
2024-03-14 08:46:43 +01:00 |
|
Tony Torralba
|
039bea1625
|
Java: Add more neutral JDK models
This is similar to https://github.com/github/codeql/pull/15766, in the sense that it adds neutral models to prevent the model generator from generating summaries for them. These models were spotted while evaluating https://github.com/github/codeql/pull/14919.
|
2024-03-13 16:59:38 +01:00 |
|
Owen Mansel-Chan
|
bf22c6dae0
|
Merge pull request #15766 from owen-mc/java/add-neutral-models
Java: add neutral models
|
2024-03-02 06:00:33 +00:00 |
|
Owen Mansel-Chan
|
f89fedcbaf
|
Add some neutral models for java.util
|
2024-03-01 14:07:45 +00:00 |
|
Tony Torralba
|
dd1dbdf4ec
|
Java: Fix provenance of Map.Entry.copyOf models
|
2024-03-01 09:00:13 +01:00 |
|
Owen Mansel-Chan
|
65bc62c10a
|
Add summary model for Map$Entry#copyOf
|
2024-02-29 12:20:43 +00:00 |
|
Chris Smowton
|
24b4b05be8
|
Add models for new Collections methods
|
2023-11-06 16:44:40 +00:00 |
|
Chris Smowton
|
5b72aee3ae
|
Java: model JDK21 SequencedCollection, Set and Map
|
2023-11-06 16:04:13 +00:00 |
|
Edward Minnix III
|
655470f3da
|
Refactor EnvInput to MaD
|
2023-10-03 22:28:47 -04:00 |
|
Anders Schack-Mulligen
|
6c02e30f56
|
Java: Update models.
|
2023-08-23 13:24:55 +02:00 |
|
Michael Nebel
|
0ed724eb13
|
Java: Make a flow summary for Set.clear using WithoutElement and introduce appropriate tests.
|
2023-08-08 11:10:08 +02:00 |
|
Michael Nebel
|
d3eb9c1325
|
Java: Add release note and address review comments.
|
2023-08-04 13:36:43 +02:00 |
|
Michael Nebel
|
99ac98bffc
|
Java: Re-factor a model to use WithElement (this model is already tested in collections/B.java).
|
2023-08-01 12:03:44 +02:00 |
|
Michael Nebel
|
0604a85bb1
|
Java: Add WithoutElement model for List.clear and add appropriate test.
|
2023-08-01 12:03:44 +02:00 |
|
Michael Nebel
|
bd23814e7c
|
Java: Update existing neutrals to include kind information.
|
2023-05-08 16:18:59 +02:00 |
|
Tony Torralba
|
0094c25791
|
Fix StringJoiner.add models
|
2023-04-26 12:40:04 +02:00 |
|
Tony Torralba
|
4c102ab99c
|
Refactor to models-as-data
|
2023-04-26 10:13:15 +02:00 |
|
Jami Cogswell
|
8046ec2f78
|
Java: update -1 to this
|
2023-03-23 18:01:28 -04:00 |
|
Jami Cogswell
|
17e0920325
|
Java: resolve more conflicts
|
2023-03-23 18:00:14 -04:00 |
|
Jami Cogswell
|
c213d56d2c
|
Java: resolve some more -1 to this conflicts
|
2023-03-23 17:56:46 -04:00 |
|
Jami Cogswell
|
44c3a41194
|
Java: resolve more -1 to this conflicts
|
2023-03-23 17:53:27 -04:00 |
|
Jami Cogswell
|
971b0e8814
|
Java: -1 to this conflict
|
2023-03-23 17:50:08 -04:00 |
|
Michael Nebel
|
e86f1e4961
|
Java: Replace Argument[-1] with Argument[this].
|
2023-03-20 10:14:20 +01:00 |
|
Jami Cogswell
|
fb6725ddaa
|
Java: add WithoutElement comment for clear methods
|
2023-01-13 13:20:45 -05:00 |
|
Jami Cogswell
|
6bb865ad05
|
Java: make numeric flow models neutral
|
2023-01-11 18:04:43 -05:00 |
|
Jami Cogswell
|
feaae16f7c
|
Java: adjust comments
|
2023-01-03 16:08:14 -05:00 |
|
Jami Cogswell
|
939279af38
|
Java: add comments
|
2022-12-22 16:25:12 -05:00 |
|
Jami Cogswell
|
6007827dd3
|
Java: update test cases
|
2022-12-22 12:29:57 -05:00 |
|
Jami Cogswell
|
1db829e55c
|
Java: add java.util models
|
2022-12-21 13:03:57 -05:00 |
|
Jami Cogswell
|
19deb59d07
|
Java: sort neutral models alphabetically
|
2022-12-19 14:22:17 -05:00 |
|
Jami Cogswell
|
0c22d68a65
|
Java: update extensible predicate names
|
2022-12-16 15:40:14 -05:00 |
|
Jami
|
ff652f7dee
|
Merge branch 'main' into jcogs33/model-top-jdk-apis
|
2022-12-16 15:32:50 -05:00 |
|
Jami Cogswell
|
510cd4a163
|
Java: change negative to neutral
|
2022-12-15 00:46:03 -05:00 |
|
Jami Cogswell
|
4c590d1190
|
Java: move most negative models to package.model.yml files
|
2022-12-15 00:24:41 -05:00 |
|
Michael Nebel
|
bc02adb400
|
Java: Make the corresponding rename in all the data extensions.
|
2022-12-14 13:48:31 +01:00 |
|
Michael Nebel
|
9cb5ff1cdc
|
Java: Add data extensions for all manual models.
|
2022-11-28 12:30:34 +01:00 |
|