← Back to branch summary

~pmdj/ubuntu/trusty/qemu/2.9+applesmc+fadtv3

« back to all changes in this revision

Viewing changes to scripts/coverity-model.c

  • Committer: Phil Dennis-Jordan
  • Date: 2017-07-21 08:03:43 UTC
  • mfrom: (1.1.1)
  • Revision ID: phil@philjordan.eu-20170721080343-2yr2vdj7713czahv
New upstream release 2.9.0.

Show diffs side-by-side

added added

removed removed

Lines of Context:
scripts/coverity-model.c
67
67
    int last = buf[len-1];
68
68
}
69
69
 
70
 
MemTxResult address_space_rw(AddressSpace *as, hwaddr addr, MemTxAttrs attrs,
71
 
                             uint8_t *buf, int len, bool is_write)
 
70
MemTxResult address_space_read(AddressSpace *as, hwaddr addr,
 
71
                               MemTxAttrs attrs,
 
72
                               uint8_t *buf, int len)
72
73
{
73
74
    MemTxResult result;
74
 
 
75
75
    // TODO: investigate impact of treating reads as producing
76
76
    // tainted data, with __coverity_tainted_data_argument__(buf).
77
 
    if (is_write) __bufread(buf, len); else __bufwrite(buf, len);
78
 
 
79
 
    return result;
80
 
}
 
77
    __bufwrite(buf, len);
 
78
    return result;
 
79
}
 
80
 
 
81
MemTxResult address_space_write(AddressSpace *as, hwaddr addr,
 
82
                                MemTxAttrs attrs,
 
83
                                const uint8_t *buf, int len)
 
84
{
 
85
    MemTxResult result;
 
86
    __bufread(buf, len);
 
87
    return result;
 
88
}
 
89
 
81
90
 
82
91
/* Tainting */
83
92