From c5dc7810283127b813447e5acc50153218090ca5 Mon Sep 17 00:00:00 2001
From: Marcus Meissner <marcus@jet.franken.de>
Date: Sat, 21 Jul 2018 18:24:46 +0200
Subject: try to model ptp_transaction

---
 coverity-model.c | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'coverity-model.c')

diff --git a/coverity-model.c b/coverity-model.c
index 7dd169640..7ffb45567 100644
--- a/coverity-model.c
+++ b/coverity-model.c
@@ -59,3 +59,12 @@ void gp_log_data (const char *domain, const char *data, unsigned int size, const
 	/* considered a tainted sink ... but is not one. */
 }
 
+uint16_t
+ptp_transaction (PTPParams* params, PTPContainer* ptp, 
+                uint16_t flags, uint64_t sendlen,
+                unsigned char **data, unsigned int *recvlen) {
+	if ((flags & 0xff) == 0x2) {
+		__coverity_tainted_data_argument__(data);
+		__coverity_tainted_data_argument__(recvlen);
+	}
+}
-- 
cgit v1.2.1