6 ms·

Can you use the STL? What boundary is considered trusted?

• Agathos 8y ago
  I can trust the compiler... I hope?
  • stcredzero 8y ago
    Hope... https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf https://www.archive.ece.cmu.edu/~ganger/712.fall02/papers/p7...
  • Miltnoid 8y ago
    Use CompCert! (And C instead of C++)
  • pjmlp 8y ago
    Not at all, check the Linux 5.0 bug introduced by a gcc "optimization" regarding UB.
• deleted 8y ago
  [deleted]
• chii 8y ago
  The point i was making is that such boundary doesn't exist - no one can write everything "on their own". Therefore, language features to prevent a class of exploits should be a high priority when considering a project.