Java: add dataflow-generated models for JDK17 - #14919

Merged

owen-mc merged 11 commits into

mainfrom

java/jdk-model-autogeneration

Apr 4, 2024

Commits on Mar 27, 2024

Run generation script
owen-mc
committed
f03a56f
Remove df-gen models for incidentally modelled APIs
owen-mc
committed
311512c

Commits on Apr 1, 2024

Remove df-gen models we have deliberately modeled
owen-mc
committed
919436e
Accept more capture summary models
owen-mc
committed
52e6ea3
Accept changes to top jdk apis test
owen-mc
committed
776c9d9
Test fixed by model for `BasicAttributes(String, Object)`
owen-mc
committed
9067a33
Accept that lots of sinks are now summaries as well
owen-mc
committed
2d24fe0
Tests fixed by model for `CharBuffer.wrap(char[])`
owen-mc
committed
fa614df
Add change note
owen-mc
committed
a5979e2
Adjust change note
owen-mc
committed
e3fb40a
Change note: update numbers of models added
owen-mc
committed
fdafaa2