Open Source tools are way behind commercial software. Just look at PolySpace Cod... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

lugus35 on Nov 4, 2016 | parent | context | favorite | on: Rules for Writing Safety Critical Code (2006)

Open Source tools are way behind commercial software. Just look at PolySpace Code Prover for example:

https://mathworks.com/products/polyspace-code-prover/

ou PolySpace bug finder :

https://mathworks.com/products/polyspace-bug-finder/

michaelt on Nov 4, 2016 [–]

Have you personally used those tools? On what sort of projects?

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact