搜索结果: 1-3 共查到“计算机科学技术 Systems Code”相关记录3条 . 查询时间(0.062 秒)
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...
Execution Generated Test Cases:How to Make Systems Code Crash Itself
Execution Generated Test Cases Systems Code Crash Itself
2015/8/7
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using
a combination of symbolic and concrete (i.e., regular) execution. The input values to ...
Bugs as Deviant Behavior:A General Approach to Inferring Errors in Systems Code
Bugs as Deviant Behavior Inferring Errors Systems Code
2015/8/7
A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demo...