Fast, Fine-Grained Equivalence Checking for Neural Decompilers
Authors: Luke Dramko, Claire Le Goues, Edward J. Schwartz | Published: 2025-01-08
プログラム解析
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
Authors: Che Wang, Jiashuo Zhang, Jianbo Gao, Libin Xia, Zhi Guan, Zhong Chen | Published: 2024-09-15
CLNX: Bridging Code and Natural Language for C/C++ Vulnerability-Contributing Commits Identification
Authors: Zeqing Qin, Yiwei Wu, Lansheng Han | Published: 2024-09-11
Comment on Revisiting Neural Program Smoothing for Fuzzing
Authors: Dongdong She, Kexin Pei, Junfeng Yang, Baishakhi Ray, Suman Jana | Published: 2024-09-06
The Role of Transformer Models in Advancing Blockchain Technology: A Systematic Survey
Authors: Tianxu Liu, Yanbin Wang, Jianguo Sun, Ye Tian, Yanyu Huang, Tao Xue, Peiyue Li, Yiwei Liu | Published: 2024-09-02 | Updated: 2024-09-05
Harnessing the Power of LLMs in Source Code Vulnerability Detection
Authors: Andrew A Mahyari | Published: 2024-08-07
LLM as Runtime Error Handler: A Promising Pathway to Adaptive Self-Healing of Software Systems
Authors: Zhensu Sun, Haotian Zhu, Bowen Xu, Xiaoning Du, Li Li, David Lo | Published: 2024-08-02
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Authors: Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro | Published: 2024-04-09
A Survey of Source Code Representations for Machine Learning-Based Cybersecurity Tasks
Authors: Beatrice Casey, Joanna C. S. Santos, George Perry | Published: 2024-03-15
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
Authors: Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen | Published: 2024-01-20