Cross-checking semantic correctness-Reference-Cited by-同舟云学术

Cross-checking semantic correctness

Published:2015-10-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Min Changwoo¹,Kashyap Sanidhya¹,Lee Byoungyoung¹,Song Chengyu¹,Kim Taesoo¹

Affiliation:

1. Georgia Institute of Technology

Funder

DARPA

ONR

NSF

ETRI

Publisher

ACM

Link

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

Reference69 articles.

1. Skipped files with -listed-incremental after rename 2003. http://osdir.com/ml/gnu.tar.bugs/2003-10/msg00013.html. Skipped files with -listed-incremental after rename 2003. http://osdir.com/ml/gnu.tar.bugs/2003-10/msg00013.html.

2. Fix update of mtime and ctime on rename 2008. http://linux-ext4.vger.kernel.narkive.com/Cc13bI74/patch-ext3-fix-update-of-mtime-and-ctime-on-rename. Fix update of mtime and ctime on rename 2008. http://linux-ext4.vger.kernel.narkive.com/Cc13bI74/patch-ext3-fix-update-of-mtime-and-ctime-on-rename.

3. Checker developer manual 2015. http://clang-analyzer.llvm.org/checker_dev_manual.html#idea. Checker developer manual 2015. http://clang-analyzer.llvm.org/checker_dev_manual.html#idea.

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

1. APP-Miner: Detecting API Misuses via Automatically Mining API Path Patterns;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. Effective Bug Detection with Unused Definitions;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22

3. Strengthening Supply Chain Security with Fine-grained Safe Patch Identification;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

5. All Use-After-Free Vulnerabilities Are Not Created Equal: An Empirical Study on Their Characteristics and Detectability;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16