Author:
Abal Iago,Brabrand Claus,Wąsowski Andrzej
Publisher
Springer International Publishing
Reference52 articles.
1. Abal, I.: Shape-region and effect inference for C(IL). Technical report (2016)
2. Abal, I., Brabrand, C., Wasowski, A.: 42 variability bugs in the Linux kernel: A qualitative analysis. In: ASE 2014 (2014)
3. Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: PLDI 2001 (2001)
4. Ball, T., Rajamani, S.K.: Bebop: a path-sensitive interprocedural dataflow engine. In: PASTE 2001 (2001)
5. Ball, T., Rajamani, S.K.: The SLAM toolkit. In: CAV 2001 (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Patching Locking Bugs Statically with Crayons;ACM Transactions on Software Engineering and Methodology;2023-04-26
2. Understanding Linux kernel vulnerabilities;Journal of Computer Virology and Hacking Techniques;2021-04-04
3. K-Miner: Uncovering Memory Corruption in Linux;Proceedings 2018 Network and Distributed System Security Symposium;2018