- 博客(4)
- 收藏
- 关注
RSS订阅原创 Check bounds overflow bugs in C programs based on LLVM
AbstractBounds overflow is one of the most frequently encountered errors in C programs. For example, performing pointer arithmetic without checking bounds can cause bounds overflow. These errors can
2010-04-06 09:01:00
499
原创 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
原创 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
转载 描述符、描述符表与段选择符
1、描述符 描述符是一个八字节的组合数据组，在80286中，组内有最高2个字节保留未用，其余6个字节分别存储着程序（或数据）段所占内存的长度（段限长，2个字节）、起始的物理地址（称段基地址，3个字节）和访问权（1个字节）。 内存中每段程序（或数据）均可用一个描述符来表示。与任务转换有关的数据的段描述符称任务描述符。2、描述符表 将不同程序（或数据
2009-10-07 15:14:00
788
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人