Handling security bugs is not the open-source community’s strong pointtrust-in-soft.com·5 pts·pascal_cuoq·0
Non-expert developers need accurate floating-point libraries the mostblog.frama-c.com·1 pts·pascal_cuoq·0