567 Commits

Author	SHA1	Message	Date
Michael Nebel	6593991c13	Java/C#: Update generated models to have provenance df-generated.	2023-04-13 09:21:05 +02:00
Mathew Payne	824ff8ad88	Add function signature to model	2023-04-12 14:54:06 +00:00
Mathew Payne	d0529bba2b	Add missing models for Java IO ... - java.io.OutputStream - java.nio.file.Files	2023-04-12 14:43:11 +00:00
Jami	b7c7449b08	Merge pull request #12739 from jcogs33/jcogs33/add-one-more-top500-model ... Java: add summary model for `UnsupportedOperationException(String)` constructor	2023-04-11 08:25:36 -04:00
Tony Torralba	944bdfde45	Apply suggestions from code review	2023-04-11 09:47:47 +02:00
Stephan Brandauer	cb8506d51a	Update MaD Declarations after Triage	2023-04-11 09:25:39 +02:00
Jami Cogswell	6b695434b7	Java: add yml model for UnsupportedOperationException; resolve conflict	2023-04-06 10:19:19 -04:00
Tony Torralba	d58d6fe6be	Update java/ql/lib/ext/java.net.model.yml	2023-04-06 13:58:13 +02:00
Tony Torralba	cdb3d9ea5a	Apply suggestions from code review	2023-04-06 12:23:50 +02:00
Stephan Brandauer	18801b39c6	Update MaD Declarations after Triage	2023-04-06 12:23:50 +02:00
Tony Torralba	3f2840bb1b	Remove com.hippo models	2023-04-05 15:32:53 +02:00
Tony Torralba	bced2d692b	Apply suggestions from code review	2023-04-05 15:19:21 +02:00
Stephan Brandauer	f87618238f	Review suggestions	2023-04-05 15:15:03 +02:00
Stephan Brandauer	0a5d19fc71	Update MaD Declarations after Triage	2023-04-05 15:15:02 +02:00
Tony Torralba	907053f281	Merge pull request #12591 from github/java/update-mad-decls-after-triage-2023-03-20T12-45-37 ... Java: Update MaD Declarations after Triage	2023-03-27 13:23:55 +02:00
Joe Farebrother	489ce3d40a	Merge pull request #12049 from joefarebrother/netty-models ... Java: Model the Netty framework	2023-03-27 11:38:11 +01:00
Tony Torralba	95cc99c625	Apply suggestions from code review	2023-03-27 11:50:27 +02:00
Tony Torralba	9a18043d9f	Apply suggestions from code review	2023-03-27 10:28:13 +02:00
Stephan Brandauer	4b458b2898	Merge branch 'main' into java/update-mad-decls-after-triage-2023-03-20T12-45-37	2023-03-24 16:17:07 +01:00
Stephan Brandauer	2c49e62c64	Merge branch 'main' into java/update-mad-decls-after-triage-2023-03-13T13-21-27	2023-03-24 16:16:57 +01:00
Jami Cogswell	b8ceb7112d	Java: update ordering of Path.getFileName model	2023-03-23 18:07:06 -04:00
Jami Cogswell	8046ec2f78	Java: update -1 to this	2023-03-23 18:01:28 -04:00
Jami Cogswell	0f3a0a1e81	Java: remove ArrayElement from listFiles	2023-03-23 18:00:21 -04:00
Jami Cogswell	29999d7bc8	Java: add WithoutElement comment	2023-03-23 18:00:21 -04:00
Jami Cogswell	62d64d5828	Java: add comments for reflection-related models	2023-03-23 18:00:21 -04:00
Jami Cogswell	e0c0c973a7	Java: remove Format and MessageFormat	2023-03-23 18:00:21 -04:00
Jami Cogswell	702ca19c3c	Java: added comment about second order sql injection	2023-03-23 18:00:20 -04:00
Jami Cogswell	db545e4981	Java: switch StringBuilder.delete to AbstractStringBuilder.delete	2023-03-23 18:00:20 -04:00
Jami Cogswell	56d14820e4	Java: change taint to value for Class.cast	2023-03-23 18:00:20 -04:00
Jami Cogswell	79ce46a221	Java: remove FileInputStream summary model since causing issues in DCA	2023-03-23 18:00:20 -04:00
Jami Cogswell	bdd7f18e35	Java: remove some comments	2023-03-23 18:00:20 -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
Joe Farebrother	48823aec75	Fix tests and missing model after rebase	2023-03-23 14:37:32 +00:00
Joe Farebrother	56fb3d23ff	Argument[-1] -> Argument[this]	2023-03-23 14:37:32 +00:00
Joe Farebrother	9287549e93	Generate tests; fix models	2023-03-23 14:37:32 +00:00
Joe Farebrother	14f753b8cf	Use precise access paths for http headers models	2023-03-23 14:37:31 +00:00
Joe Farebrother	a476677b2b	Model more setters and constructors	2023-03-23 14:37:31 +00:00
Joe Farebrother	904102143e	Add some missing models	2023-03-23 14:37:31 +00:00
Joe Farebrother	28b0e7e074	Remove unneeded blank lines	2023-03-23 14:37:31 +00:00
Joe Farebrother	312c3eae06	Generate tests and stubs, fix an issue	2023-03-23 14:37:31 +00:00
Joe Farebrother	0124d81145	Fix models	2023-03-23 14:37:31 +00:00
Joe Farebrother	2fb560a170	Add more models for message decoder sources an headers fluent methods	2023-03-23 14:37:31 +00:00
Joe Farebrother	5d6eab4f3a	Add models for more utility methods	2023-03-23 14:37:31 +00:00
Joe Farebrother	7b02616f30	Fix a model	2023-03-23 14:37:31 +00:00
Joe Farebrother	f292e85c51	Model fixes - remove ambiguity, correctly model constructors	2023-03-23 14:37:31 +00:00
Joe Farebrother	39ed5038af	Generate test cases and fix some errors in models	2023-03-23 14:37:30 +00:00
Joe Farebrother	f88780cdd1	Add some tests; improve buffer models	2023-03-23 14:37:30 +00:00