Parent directory |
|
UV_RUNTIME_CHECK.spatch |
93 bytes |
config-h.spatch |
29 bytes |
dns_message_create.spatch |
810 bytes |
dns_message_destroy.spatch |
72 bytes |
dns_name_copy-with-result.spatch |
547 bytes |
dns_name_copy.spatch |
658 bytes |
dns_name_copynf.spatch |
116 bytes |
dns_name_dup.disabled |
611 bytes |
dns_rbtnodechain_init.disabled |
94 bytes |
isc_buffer_allocate_never_fail.spatch |
820 bytes |
isc_event_allocat_never_fail.spatch |
382 bytes |
isc_mem_allocate_never_fail.spatch |
479 bytes |
isc_mem_create_never_fail.disabled |
1232 bytes |
isc_mem_get_never_fail.spatch |
449 bytes |
isc_mem_putanddetach.spatch |
124 bytes |
isc_mem_strdup_never_fail.spatch |
366 bytes |
isc_mempool_create_cannot_fail.cocci |
473 bytes |
memcpy.spatch |
152 bytes |
null-the-pointer-early.disabled |
167 bytes |
return-void-from-void.spatch |
145 bytes |
unreachable.spatch |
179 bytes |