搜索结果: 1-3 共查到“操作系统与操作环境 code”相关记录3条 . 查询时间(0.057 秒)
![](http://www.firstlight.cn/upload/imgfile/201911/15/20191115977420.jpg)
Browser tool aims to help researchers ID malicious websites,code(图)
Browser tool esearchers ID malicious websites code
2019/11/5
Researchers at North Carolina State University have developed an open-source tool that allows users to track and record the behavior of JavaScript programs without alerting the websites that run those...
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...
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...