[457] | 1 | typedef unsigned char err_t;
|
---|
| 2 | typedef unsigned int u32_t;
|
---|
| 3 | typedef unsigned short u16_t;
|
---|
| 4 | typedef unsigned char u8_t;
|
---|
| 5 | typedef void sys_sem_t;
|
---|
| 6 | typedef void sys_mutex_t;
|
---|
| 7 | typedef size_t mem_size_t;
|
---|
| 8 | typedef size_t memp_t;
|
---|
| 9 | struct pbuf;
|
---|
| 10 | struct netif;
|
---|
| 11 |
|
---|
| 12 | void* mem_malloc(mem_size_t size)
|
---|
| 13 | {
|
---|
| 14 | __coverity_alloc__(size);
|
---|
| 15 | }
|
---|
| 16 | void mem_free(void* mem)
|
---|
| 17 | {
|
---|
| 18 | __coverity_free__(mem);
|
---|
| 19 | }
|
---|
| 20 |
|
---|
| 21 | void* memp_malloc(memp_t type)
|
---|
| 22 | {
|
---|
| 23 | __coverity_alloc_nosize__();
|
---|
| 24 | }
|
---|
| 25 | void memp_free(memp_t type, void* mem)
|
---|
| 26 | {
|
---|
| 27 | __coverity_free__(mem);
|
---|
| 28 | }
|
---|
| 29 |
|
---|
| 30 | void sys_mutex_lock(sys_mutex_t* mutex)
|
---|
| 31 | {
|
---|
| 32 | __coverity_exclusive_lock_acquire__(mutex);
|
---|
| 33 | }
|
---|
| 34 | void sys_mutex_unlock(sys_mutex_t* mutex)
|
---|
| 35 | {
|
---|
| 36 | __coverity_exclusive_lock_release__(mutex);
|
---|
| 37 | }
|
---|
| 38 |
|
---|
| 39 | u32_t sys_arch_sem_wait(sys_sem_t *sem, u32_t timeout)
|
---|
| 40 | {
|
---|
| 41 | __coverity_recursive_lock_acquire__(sem);
|
---|
| 42 | }
|
---|
| 43 | void sys_sem_signal(sys_sem_t *sem)
|
---|
| 44 | {
|
---|
| 45 | __coverity_recursive_lock_release__(sem);
|
---|
| 46 | }
|
---|
| 47 |
|
---|
| 48 | err_t ethernet_input(struct pbuf *p, struct netif *inp)
|
---|
| 49 | {
|
---|
| 50 | __coverity_tainted_string_sink_content__(p);
|
---|
| 51 | }
|
---|
| 52 | err_t tcpip_input(struct pbuf *p, struct netif *inp)
|
---|
| 53 | {
|
---|
| 54 | __coverity_tainted_string_sink_content__(p);
|
---|
| 55 | }
|
---|
| 56 | err_t ip_input(struct pbuf *p, struct netif *inp)
|
---|
| 57 | {
|
---|
| 58 | __coverity_tainted_string_sink_content__(p);
|
---|
| 59 | }
|
---|
| 60 | err_t ip4_input(struct pbuf *p, struct netif *inp)
|
---|
| 61 | {
|
---|
| 62 | __coverity_tainted_string_sink_content__(p);
|
---|
| 63 | }
|
---|
| 64 | err_t ip6_input(struct pbuf *p, struct netif *inp)
|
---|
| 65 | {
|
---|
| 66 | __coverity_tainted_string_sink_content__(p);
|
---|
| 67 | }
|
---|
| 68 |
|
---|
| 69 | err_t pbuf_take(struct pbuf *buf, const void *dataptr, u16_t len)
|
---|
| 70 | {
|
---|
| 71 | __coverity_tainted_string_argument__(buf);
|
---|
| 72 | __coverity_tainted_data_argument__(buf);
|
---|
| 73 | }
|
---|
| 74 | err_t pbuf_take_at(struct pbuf *buf, const void *dataptr, u16_t len, u16_t offset)
|
---|
| 75 | {
|
---|
| 76 | __coverity_tainted_string_argument__(buf);
|
---|
| 77 | __coverity_tainted_data_argument__(buf);
|
---|
| 78 | }
|
---|
| 79 | err_t pbuf_copy(struct pbuf *p_to, struct pbuf *p_from)
|
---|
| 80 | {
|
---|
| 81 | __coverity_tainted_data_transitive__(p_to, p_from);
|
---|
| 82 | }
|
---|
| 83 | u16_t pbuf_copy_partial(struct pbuf *p, void *dataptr, u16_t len, u16_t offset)
|
---|
| 84 | {
|
---|
| 85 | __coverity_tainted_string_argument__(dataptr);
|
---|
| 86 | __coverity_tainted_data_argument__(dataptr);
|
---|
| 87 | }
|
---|
| 88 | u8_t pbuf_get_at(struct pbuf* p, u16_t offset)
|
---|
| 89 | {
|
---|
| 90 | __coverity_tainted_data_return__();
|
---|
| 91 | }
|
---|
| 92 |
|
---|
| 93 | void abort(void)
|
---|
| 94 | {
|
---|
| 95 | __coverity_panic__();
|
---|
| 96 | }
|
---|
| 97 |
|
---|
| 98 | int check_path(char* path, size_t size)
|
---|
| 99 | {
|
---|
| 100 | if (size) {
|
---|
| 101 | __coverity_tainted_data_sanitize__(path);
|
---|
| 102 | return 1;
|
---|
| 103 | } else {
|
---|
| 104 | return 0;
|
---|
| 105 | }
|
---|
| 106 | }
|
---|