Я хочу записать семантический патч для coccinelle, так, чтобы он добавил, проверяет ли (ptr == ПУСТОЙ УКАЗАТЕЛЬ)... после вызовов к malloc, где они отсутствуют. Скажем, у меня есть следующий входной исходный код: #...