しばらく突っ込んできましたが、どこにも見つかりません。単純なパターンを示すcppcheckルールファイルの良い例を見つけました。
<?xml version="1.0"?>
<rule version="1">
<pattern>if \( p \) { free \( p \) ; }</pattern>
<message>
<id>redundantCondition</id>
<severity>style</severity>
<summary>Redundant condition. It is valid to free a NULL pointer.</summary>
</message>
</rule>
すべてのポインタに「p」という名前が付けられ、呼び出しが「無料」である限り、これはうまく機能します。'p'を任意の識別子に一致するように変更するにはどうすればよいですか?「「無料」または「削除」」を確認するにはどうすればよいですか?パターンはgrep/awk / sedパターンですか?