There is a typo in rule r2. Position p1 should be attached to kzalloc() call.
Showing the changes to scripts (1 of 1 file). Show all
Unified · Split
| @@ -66,7 +66,7 @@ position p1,p2; · 65 unmodified lines | ||
| 66 | 66 | |
| 67 | 67 | * x = strlen(from) + 1; |
| 68 | 68 | ... when != \( x = E1 \| from = E1 \) |
| 69 | −* to = \(kmalloc@p1\|kzalloc@p2\)(x,flag); | |
| 69 | +* to = \(kmalloc@p1\|kzalloc@p1\)(x,flag); | |
| 70 | 70 | ... when != \(x = E2 \| from = E2 \| to = E2 \) |
| 71 | 71 | if (to==NULL || ...) S |
| 72 | 72 | ... when != \(x = E3 \| from = E3 \| to = E3 \) |