5 Commits

Author	SHA1	Message	Date
Owen Mansel-Chan	18fa454d33	Replace Argument[-1] with Argument[receiver]	2024-06-04 11:45:59 +01:00
Chris Smowton	4a89dbc498	Revert "Remove unnecessary models" ... This reverts commit 12eaedc188487275e8cd6bed4a4318fed4d4b752. We can't do this now, because there is nothing to guarantee an interface has actually been extracted, and therefore whether a model will get applied. Therefore explicitly modelling methods that may be interface implementations where the interface is in a different package may still make a difference to behaviour.	2023-04-12 14:19:05 +01:00
Chris Smowton	ed56461ed7	Remove unnecessary models ... These are inherited from Stringer, Reader, Writer and BinaryMarshaler	2023-04-12 14:19:05 +01:00
Chris Smowton	f36a2143f5	Accept more test changes; add some missing models	2023-04-12 14:19:00 +01:00
Chris Smowton	de0caf2445	Go: mass-convert taint-flow models to models-as-data format	2023-04-12 14:18:44 +01:00