Cited By
View all- Cai YZhang C(2023)A Cocktail Approach to Practical Call Graph ConstructionProceedings of the ACM on Programming Languages10.1145/36228337:OOPSLA2(1001-1033)Online publication date: 16-Oct-2023
- Beillahi SBouajjani AEnea CLahiri S(2022)Automated Synthesis of AsynchronizationsStatic Analysis10.1007/978-3-031-22308-2_7(135-159)Online publication date: 2-Dec-2022
- Yousaf MSindhu MArif MRehman S(2021)Efficient Identification of Race Condition Vulnerability in C code by Abstract Interpretation and Value Analysis2021 International Conference on Cyber Warfare and Security (ICCWS)10.1109/ICCWS53234.2021.9702954(70-75)Online publication date: 23-Nov-2021
- Show More Cited By