Michal Nowak 7fb6be62e0

Disable unsigned-int spatch in models.c and sdlz.c ...

coccinelle v1.1 reports the following failure:

    EXN: Failure("./lib/dns/sdlz.c: 172: try to delete an expanded token: unsigned") in ./lib/dns/sdlz.c

coccinelle v1.2 reports the following failure:

    EXN: Failure("./util/models.c: 21: try to delete an expanded token: unsigned") in ./util/models.c

2024-12-13 13:52:52 +01: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

ctype.spatch

Add semantic patch to explicitly cast chars to unsigned for ctype.h

2023-09-22 08:29:17 +02:00

dns_message_destroy.spatch

cocci: Add semantic patch to refactor dns_message_destroy()

2020-09-29 08:22:08 +02:00

dns_message_gettemp.disabled

Cleanup dns_message_gettemp*() functions - they cannot fail

2022-05-17 12:39:25 +02:00

dns_name_copy-with-result.spatch

Fix typo in dns_name_copy-with-result.spatch

2021-11-02 19:16:41 +01:00

dns_name_copy.spatch

clean up coccinelle patches for dns_name_copy()

2021-05-22 00:37:27 -07:00

dns_name_copynf.spatch

clean up coccinelle patches for dns_name_copy()

2021-05-22 00:37:27 -07: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

DNS_TYPEPAIR_VALUE.spatch

Add coccinelle rule to favor DNS_SIGTYPE

2024-02-14 09:00:27 +01:00

isc_buffer_allocate_never_fail.spatch

Stop providing branch prediction information

2021-10-14 10:33:24 +02: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_cget.spatch

A semantic patch to refactor isc_mem_cget and friends

2023-08-31 22:08:35 +02: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

isc_mempool_get_never_fail.spatch

Clean up isc_mempool API

2021-07-09 15:58:02 +02:00

isc_stdtime_now.spatch

Add a semantic patch to change isc_stdtime_get() to isc_stdtime_now

2023-03-31 13:16:28 +02:00

isc_time_now.spatch

Refactor isc_time_now() to return time, and not result

2023-03-31 15:02:06 +02: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

set_if_not_null.spatch

A SET_IF_NOT_NULL() macro for optional return values

2023-08-15 12:04:29 +02:00

unreachable.spatch

Consistenly use UNREACHABLE() instead of ISC_UNREACHABLE()

2022-03-28 23:26:08 +02:00

unsigned-int.spatch

Disable unsigned-int spatch in models.c and sdlz.c

2024-12-13 13:52:52 +01:00

UV_RUNTIME_CHECK.spatch

Add semantic patch to keep UV_RUNTIME_CHECK in sync

2022-02-16 11:16:57 +01:00