1.55.2 - 2024-01-05
Fixed
-
taint-mode: Semgrep was missing some sources occurring inside type expressions,
for example:char *p = new char[source(x)]; sink(x);
Now, if
x
is tainted by side-effect, Semgrep will checkx
inside the type
expressionchar[...]
and record it as tainting, and generate a finding for
sink(x)
. (pa-3313) -
taint-mode: C/C++: Sanitization by side-effect was not working correctly for
ptr->fld
l-values. In particular, ifptr
is tainted, and thenptr->fld
is
sanitized, Semgrep will now correctly considerptr->fld
as clean. (pa-3328)