![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
原创技术类
yiqiuping
这个作者很懒,什么都没留下…
展开
-
ABCD: Eliminating Array Bounds Checks on Demand
AbstractBounds overflow is one of the most frequently encountered errors in C programs. To guarantee type-safe execution, C and other typed languages require bounds checking of array accesses. Using原创 2010-04-06 08:51:00 · 858 阅读 · 1 评论 -
Update the SAFCode project to the new LLVM API
AbstractThe purpose of the SAFCode project is to enable program safety without garbage collection and with minimal run-time checks using static analysis when possible and run-time checks when necess原创 2010-04-06 09:00:00 · 382 阅读 · 0 评论