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 | }
|
---|