Well, you aren't directly writing C anyway. Unless you are https://xkcd.com/378/ -- using tools is perfectly okay.
Anyway, PolarSSL is definitely not transpiled. Its source language is C.
Anyway, PolarSSL is definitely not transpiled. Its source language is C.
... and your point is?
EDIT: more recent bugs:
These bugs include double-free and use-after-free - which are not covered by the original analysis, right?