搜索结果: 1-1 共查到“计算机系统结构 Systems Code”相关记录1条 . 查询时间(0.078 秒)
We describe techniques for analyzing data polymorphism in C, and show that understanding data polymorphism is important for statically verifying type casts in the Linux kernel, where our techniques pr...