diff options
| author | Marcus Meissner <marcus@jet.franken.de> | 2018-07-21 18:24:46 +0200 |
|---|---|---|
| committer | Marcus Meissner <marcus@jet.franken.de> | 2018-07-21 18:24:46 +0200 |
| commit | c5dc7810283127b813447e5acc50153218090ca5 (patch) | |
| tree | 2d67e4d10043ce466f85f18245273af817202245 /coverity-model.c | |
| parent | 369ab820bddfecfdfb99d02123a79ec619ba1573 (diff) | |
| download | libgphoto2-c5dc7810283127b813447e5acc50153218090ca5.tar.gz | |
try to model ptp_transaction
Diffstat (limited to 'coverity-model.c')
| -rw-r--r-- | coverity-model.c | 9 |
1 files changed, 9 insertions, 0 deletions
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); + } +} |