Author:
Blackshear Sam,Chang Bor-Yuh Evan,Sridharan Manu
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Precise Compositional Buffer Overflow Detection via Heap Disjointness;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. SyzDirect: Directed Greybox Fuzzing for Linux Kernel;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
3. Historia: Refuting Callback Reachability with Message-History Logics;Proceedings of the ACM on Programming Languages;2023-10-16
4. Anchor
: Fast and Precise Value-flow Analysis for Containers via Memory Orientation;ACM Transactions on Software Engineering and Methodology;2023-04-26
5. Striking a balance;Proceedings of the 44th International Conference on Software Engineering;2022-05-21