What would actually bite
Ranked by reachability from untrusted input (a real or hostile ECU/adapter), not theoretical severity — from the porting report, §4. Click a card to open the full finding.
No findings match those filters.
Evidence catalogue · 70 findings
Porting a codebase line by line is an unusually thorough audit of it. Each finding below was recorded during translation and, with two exceptions still marked unverified, independently re-derived from the C source by a second reader before being logged. Filter, search, and click any citation to land on the exact line in the frozen tree.
Ranked by reachability from untrusted input (a real or hostile ECU/adapter), not theoretical severity — from the porting report, §4. Click a card to open the full finding.