3 Hits in 3.6 sec

DR. CHECKER: A Soundy Analysis for Linux Kernel Drivers

Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna
2017 USENIX Security Symposium  
In this work, we present DR. CHECKER, a soundy (i.e., mostly sound) bug-finding tool for Linux kernel drivers that is based on well-known program analysis techniques.  ...  CHECKER, we analyzed the drivers of nine production Linux kernels (3.1 million LOC), where it correctly identified 158 critical zero-day bugs with an overall precision of 78%.  ...  This work is also sponsored by a gift from Google's Anti-Abuse group.  ... 
dblp:conf/uss/MachirySCSKV17 fatcat:fsjhusdhvvcydnrxhxvn36vjym

NLP-EYE: Detecting Memory Corruptions via Semantic-Aware Memory Operation Function Identification

Jianqiang Wang, Siqi Ma, Yuanyuan Zhang, Juanru Li, Zheyu Ma, Long Mai, Tiancheng Chen, Dawu Gu
2019 International Symposium on Recent Advances in Intrusion Detection  
NLP-EYE is able to identify memory operation functions through a semantic-aware source code analysis automatically.  ...  It first creates a programming language friendly corpus in order to parse function prototypes.  ...  Acknowledgments The authors would like to thank the anonymous reviewers for their feedback and our shepherd, Dongpeng Xu, for his valuable comments to help improving this paper.  ... 
dblp:conf/raid/WangMZLMMCG19 fatcat:pw5cppxjszdsxahtp6jpm2r3ce

2013 Jahresbericht Annual Report

The idea is to check each returned result for correctness using a simple checker. It then suffices to test or perhaps verify the checker.  ...  Research Die Seminare in 2013 The 2013 Seminars on kernelization for planar graph problems has been a very active topic recently, culminating in a meta-theorem that gives problem kernels for a wide range  ...  seminar Veranstaltungen zu unterstützen. center for academic events.  ...