Ondřej Surý bc1d4c9cb4 Clear the pointer to destroyed object early using the semantic patch ... Also disable the semantic patch as the code needs tweaks here and there because some destroy functions might not destroy the object and return early if the object is still in use.		2020-02-09 18:00:17 -08:00
..
.gitignore	Add unreachable.spatch coccinelle recipe and run it in precheck CI phase	2018-11-22 09:28:00 -05:00
config-h.spatch	Add semantic patch to remove occurences of '#include <config.h>'	2019-03-08 15:15:05 +01:00
dns_name_copy-with-result.spatch	Add semantic patches to correctly check dns_name_copy(..., NULL) return code	2019-10-01 10:43:26 +10:00
dns_name_copy.spatch	Add semantic patches to correctly check dns_name_copy(..., NULL) return code	2019-10-01 10:43:26 +10:00
dns_name_copynf.spatch	Add semantic patch to replace RUNTIME_CHECK(dns_name_copy(..., NULL)) with dns_name_copynf	2019-10-01 10:43:26 +10:00
dns_name_dup.disabled	Disable no longer useful semantic patches	2019-11-29 14:26:14 +01:00
dns_rbtnodechain_init.disabled	Disable no longer useful semantic patches	2019-11-29 14:26:14 +01:00
isc_buffer_allocate_never_fail.spatch	Add semantic patch to fix isc_buffer_allocate usage, it cannot fail now	2020-02-03 08:29:00 +01:00
isc_event_allocat_never_fail.spatch	isc_event_allocate() can't fail now, add spatch to remove the checks	2019-08-30 01:04:28 -04:00
isc_mem_allocate_never_fail.spatch	Add spatch for isc_mem_allocate; it also cannot fail gracefully	2019-07-23 15:32:35 -04:00
isc_mem_create_never_fail.disabled	Disable no longer useful semantic patches	2019-11-29 14:26:14 +01:00
isc_mem_get_never_fail.spatch	Add semantic patch to remove checking for isc_mem_get() return value	2019-07-23 15:32:35 -04:00
isc_mem_putanddetach.spatch	Add spatch to replace isc_mem_put+isc_mem_detach with isc_mem_putanddetach	2019-07-31 10:26:40 +02:00
isc_mem_strdup_never_fail.spatch	Add spatch for isc_mem_strdup; it also cannot fail gracefully	2019-07-23 15:32:35 -04:00
isc_mempool_create_cannot_fail.cocci	Add semantic patch to refactor isc_mempool_create() usage	2020-02-03 08:27:12 +01:00
memcpy.spatch	Add spatch to replace memcpy usage with memmove	2019-07-12 15:27:06 +02:00
null-the-pointer-early.disabled	Clear the pointer to destroyed object early using the semantic patch	2020-02-09 18:00:17 -08:00
return-void-from-void.spatch	Add semantic patch to find void f() { ... return ((void)g())); ... }	2019-12-06 13:42:18 +01:00
unreachable.spatch	Add unreachable.spatch coccinelle recipe and run it in precheck CI phase	2018-11-22 09:28:00 -05:00