Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
Khare, Avishree, Dutta, Saikat, Li, Ziyang, Solko-Breslin, Alaia, Alur, Rajeev, Naik, Mayur
Year of Publication 16.11.2023
Year of Publication 16.11.2023
Get full text
Journal Article
GrACE: Generation using Associated Code Edits
Gupta, Priyanshu, Khare, Avishree, Bajpai, Yasharth, Chakraborty, Saikat, Gulwani, Sumit, Kanade, Aditya, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish
Year of Publication 23.05.2023
Year of Publication 23.05.2023
Get full text
Journal Article
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
Xue, Anton, Khare, Avishree, Alur, Rajeev, Goel, Surbhi, Wong, Eric
Published in arXiv.org (01.10.2024)
Get full text
Published in arXiv.org (01.10.2024)
Paper