Добавление недостающих ПУСТЫХ проверок после malloc с coccinelle

Question

Добавление недостающих ПУСТЫХ проверок после malloc с coccinelle

Можно исключить файлы из подрывной деятельности с глобальным - игнорируют установку
http://svnbook.red-bean.com/en/1.1/ch07.html#svn-ch-7-sect-1.3.2
, проверяют документацию для деталей

5

c null static-analysis coccinelle

задан hlovdal 11 November 2009 в 16:47

1 ответ

Другие вопросы по тегам:

c null static-analysis coccinelle

Похожие вопросы:

score 7 · Accepted Answer

// find calls to malloc
@call@
expression ptr;
position p;
@@

ptr@p = malloc(...);

// find ok calls to malloc
@ok@
expression ptr;
position call.p;
@@

ptr@p = malloc(...);
... when != ptr
(
 (ptr == NULL || ...)
|
 (ptr != NULL || ...)
)

// fix bad calls to malloc
@depends on !ok@
expression ptr;
position call.p;
@@

ptr@p = malloc(...);
+ if (ptr == NULL) return;