UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel-Reference-Cited by-同舟云学术

UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Zhai Yizhuo¹,Hao Yu¹,Zhang Hang¹,Wang Daimeng¹,Song Chengyu¹,Qian Zhiyun¹,Lesani Mohsen¹,Krishnamurthy Srikanth V.¹,Yu Paul²

Affiliation:

1. University of California at Riverside, USA

2. U.S. Army Research Laboratory, USA

Funder

Army Research Laboratory

Division of Computer and Network Systems

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3368089.3409686

Reference33 articles.

1. 2014. Andersen's inclusion-based pointer analysis re-implementation in LLVM. https://github.com/grievejia/andersen/graphs/contributors. 2014. Andersen's inclusion-based pointer analysis re-implementation in LLVM. https://github.com/grievejia/andersen/graphs/contributors.

2. 2020. CWE-476 : NULL Pointer Dereference. https://cwe.mitre.org/data/ definitions/476.html. 2020. CWE-476 : NULL Pointer Dereference. https://cwe.mitre.org/data/ definitions/476.html.

3. 2020. Qualifier Type Inference. https://github.com/seclab-ucr/UBITect/blob/ master/QualifierTypeInference.pdf. 2020. Qualifier Type Inference. https://github.com/seclab-ucr/UBITect/blob/ master/QualifierTypeInference.pdf.

4. 2020. UBITect. https://github.com/seclab-ucr/UBITect 2020. UBITect. https://github.com/seclab-ucr/UBITect

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis;ACM Transactions on Computer Systems;2024-09-06

2. Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?;ACM Transactions on Knowledge Discovery from Data;2024-06-19

3. Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach;Proceedings of the ACM on Programming Languages;2024-04-29

4. Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification;Lecture Notes in Computer Science;2024

5. Assisting Static Analysis with Large Language Models: A ChatGPT Experiment;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30