…

..

.gitignore

…

config-h.spatch

…

ctype.spatch

…

dns_message_create.spatch

…

dns_message_destroy.spatch

…

dns_name_copy-with-result.spatch

…

dns_name_copy.spatch

…

dns_name_copynf.spatch

…

dns_name_dup.disabled

…

dns_rbtnodechain_init.disabled

…

isc_buffer_allocate_never_fail.spatch

…

isc_event_allocat_never_fail.spatch

…

isc_mem_allocate_never_fail.spatch

…

isc_mem_create_never_fail.disabled

…

isc_mem_get_never_fail.spatch

…

isc_mem_putanddetach.spatch

…

isc_mem_strdup_never_fail.spatch

…

isc_mempool_create_cannot_fail.cocci

…

isc_mempool_get_never_fail.spatch

…

memcpy.spatch

…

null-the-pointer-early.disabled

…

return-void-from-void.spatch

…

unreachable.spatch

…

UV_RUNTIME_CHECK.spatch

…