вопросы Pointer в Coccinelle

Question

Я хочу изменить свой код, используя Coccinelle скрипт:

// Before modification 

#include <stdio.h> 
#include <stdlib.h> 

int main() 
{ 
    int i; 
    int *p; 

    *p=i; 

    return 0; 
} 

Ожидаемый результат:

// After modification 

#include <stdio.h> 
#include <stdlib.h> 

int main() 
{ 
    int i; 
    int *p; 

    if (p!=NULL) 
     *p=i; 

    return 0; 
} 

Мой Coccinelle сценарий выглядит следующим образом:

@rule1@ 
type T; 
T* ptr; 
expression E; 
@@ 

-*ptr= E; 
+ if (ptr!=NULL) 
+ptr=E; 

Мой сценарий неверен, потому что оператор «звезда» используется Coccinelle. Может ли кто-нибудь помочь мне узнать, для чего полезен оператор «звезда», потому что я немного смущен этим оператором. Как я могу изменить свой скрипт, чтобы получить ожидаемый результат?

Answer 1

Поместите пробел перед *.

Coccinelle использует *, чтобы указать, что совпадение требуется, а не преобразование. * Указывает строку, которая должна быть подсвечена в результате.

Answer 2

Я полагаю, что оператор * используется cocinelle для соответствия шаблону, x* будет соответствовать нескольким вхождению x в строку.

Я бы попробовал избежать * с обратной косой чертой \*.