579 Commits

Author	SHA1	Message	Date
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
Joe Farebrother	6ea0cfc2af	Add more models for byte buffer handling and http2 utils	2023-03-23 14:37:30 +00:00
Joe Farebrother	63f0823a9b	Add more sources and flow steps for http2 types	2023-03-23 14:37:30 +00:00
Joe Farebrother	d8da4fb1f4	Add websocket models	2023-03-23 14:37:30 +00:00
Joe Farebrother	24c59bb7e5	Formatting fixes	2023-03-23 14:37:30 +00:00
Joe Farebrother	f3882f92db	Add more netty modelling, mostly around http requests	2023-03-23 14:37:29 +00:00
Joe Farebrother	d257e32eba	Separate different packages into different files	2023-03-23 14:37:29 +00:00
Joe Farebrother	0f7a1d283d	Add Netty models	2023-03-23 14:37:29 +00:00
Jami Cogswell	82daf50ed4	Java: add signature	2023-03-22 10:05:55 -04:00
Jami Cogswell	974f4bc371	Java: remove nativeSql sink	2023-03-22 10:05:55 -04:00
Jami Cogswell	ea626a03b6	Java: add nativeSQL as summary model	2023-03-22 10:05:55 -04:00
Stephan Brandauer	0a605638e5	Merge branch 'main' into java/update-mad-decls-after-triage-2023-03-13T13-21-27	2023-03-21 10:56:53 +01:00
Stephan Brandauer	3134ad859e	Merge branch 'main' into java/update-mad-decls-after-triage-2023-03-20T12-45-37	2023-03-21 10:04:00 +01:00
Tony Torralba	1258812428	Fix Argument[this]	2023-03-20 17:13:44 +01:00
Tony Torralba	a66b7ed54a	Fix incorrect model, add missing model	2023-03-20 17:09:48 +01:00
Stephan Brandauer	0cab45e4b9	update old data to current standard (stream creation arg is a sink)	2023-03-20 17:09:48 +01:00
Stephan Brandauer	8802fbdfe7	Update java/ql/lib/ext/java.nio.file.model.yml ... Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>	2023-03-20 17:09:48 +01:00
Stephan Brandauer	bc227179c7	Update java/ql/lib/ext/org.geogebra.web.full.main.model.yml ... Co-authored-by: Tony Torralba <atorralba@users.noreply.github.com>	2023-03-20 17:09:48 +01:00
Tony Torralba	bc99a44f3a	Apply suggestions from code review	2023-03-20 17:09:48 +01:00
Stephan Brandauer	12bb0d98c0	move toFile back to its original location	2023-03-20 17:09:48 +01:00
Stephan Brandauer	4761c3a328	remove duplicates	2023-03-20 17:09:48 +01:00
Stephan Brandauer	bd21dc9460	remove nonexploitable sinks	2023-03-20 17:09:48 +01:00
Stephan Brandauer	b7ce0c2d96	fix: taint flow of ctor goes to Argument[-1], instead of ReturnValue	2023-03-20 17:09:48 +01:00
Stephan Brandauer	2236db43ec	sort the changed MaD declarations	2023-03-20 17:09:46 +01:00
Stephan Brandauer	74e261738f	remove predicate	2023-03-20 17:06:40 +01:00
Stephan Brandauer	ec1762e015	Update MaD Declarations after Triage	2023-03-20 17:06:37 +01:00
Tony Torralba	fa60fa0ae2	Merge pull request #12572 from github/java/update-mad-decls-after-triage-2023-03-17T15-01-35 ... Java: Update MaD Declarations after Triage	2023-03-20 17:02:27 +01:00
Stephan Brandauer	39726a54ec	fix suggestion	2023-03-20 14:12:46 +01:00
Stephan Brandauer	116108851f	Update MaD Declarations after Triage	2023-03-20 13:45:39 +01:00
Tony Torralba	bff8bbfe33	Apply suggestions from code review	2023-03-20 10:43:46 +01:00
Michael Nebel	9039a468cb	Java: Update models that uses -1 in a range.	2023-03-20 10:14:20 +01:00
Michael Nebel	e86f1e4961	Java: Replace Argument[-1] with Argument[this].	2023-03-20 10:14:20 +01:00
Stephan Brandauer	8f565f5023	Update MaD Declarations after Triage	2023-03-17 16:01:36 +01:00
Tony Torralba	3b4980ba2f	org.kohsuke.stapler.model tests	2023-03-15 14:36:45 +01:00
Tony Torralba	44f239f4a4	Fix org.kohsuke.stapler.framework.adjunct models	2023-03-14 18:21:19 +01:00
Tony Torralba	db9e305a56	org.apache.commons.jelly tests	2023-03-14 17:04:14 +01:00
Tony Torralba	d54abddab1	java.nio.file tests	2023-03-14 12:22:56 +01:00
Tony Torralba	2e7ad99059	Fix java.nio.file models	2023-03-14 11:51:44 +01:00
Tony Torralba	db83fe6f42	Fix incorrect java.io models	2023-03-14 11:21:17 +01:00