Fetching the paper…
Reading the bibliography…
In contemporary software development, the widespread use of indirect calls to achieve dynamic features poses challenges in constructing precise control flow graphs (CFGs), which further impacts the performance of downstream static analysis tasks.
Accurate call graph extraction of programs with function pointers using type signatures
Darren C Atkinson · 2004
Earlier work this paper cites.
Demand-driven points-to analysis for java
Manu Sridharan, Denis Gopan, Lexin Shan, and Rastislav Bodík · 2005
Earlier work this paper cites.
Modular control-flow integrity
Ben Niu and Gang Tan · 2014
Earlier work this paper cites.
Svf: interprocedural static value-flow analysis in llvm
Yulei Sui and Jingling Xue · 2016
Earlier work this paper cites.
Oss-fuzz: Continuous fuzzing for open source software
Oliver Chang, Jonathan Metzman, Max Moroz, Martin Barbella, and Abhishek Arya · 2016
Earlier work this paper cites.
On-demand strong update analysis via value-flow refinement
Yulei Sui and Jingling Xue · 2016
Earlier work this paper cites.
Fine-cfi: fine-grained control-flow integrity for operating system kernels
Jinku Li, Xiaomeng Tong, Fengwei Zhang, and Jianfeng Ma · 2018
Earlier work this paper cites.
On the effectiveness of type-based control flow integrity
Reza Mirzazade Farkhani, Saman Jafari, Sajjad Arshad, William Robertson, Engin Kirda, and Hamed Okhravi · 2018
Earlier work this paper cites.
Pinpoint: Fast and precise sparse value flow analysis for million lines of code
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang · 2018
Earlier work this paper cites.
Value-flow-based demand-driven pointer analysis for c and c++
Yulei Sui and Jingling Xue · 2018
Earlier work this paper cites.
Where does it go? refining indirect-call targets with multi-layer type analysis
Kangjie Lu and Hong Hu · 2019
Earlier work this paper cites.
Neural machine translation: A review
Felix Stahlberg · 2020
Earlier work this paper cites.
AFL++: Combining incremental steps of fuzzing research
Andrea Fioraldi, Dominik Maier, Heiko Eißfeldt, and Marc Heuse · 2020
Earlier work this paper cites.
Temporal system call specialization for attack surface reduction
Seyedhamed Ghavamnia, Tapti Palit, Shachee Mishra, and Michalis Polychronakis · 2020
Earlier work this paper cites.
Sysevr: A framework for using deep learning to detect software vulnerabilities
Zhen Li, Deqing Zou, Shouhuai Xu, Hai Jin, Yawei Zhu, and Zhaoxuan Chen · 2021
Earlier work this paper cites.
A language-independent analysis platform for source code
Konrad Weiss and Christian Banse · 2022
Earlier work this paper cites.
Typro: Forward cfi for c-style indirect function calls using type propagation
Markus Bauer, Ilya Grishchenko, and Christian Rossow · 2022
Earlier work this paper cites.
End-to-end chinese entity recognition based on bert-bilstm-att-crf
Daiyi LI, Yaofeng TU, Xiangsheng ZHOU, Yangming ZHANG, and Zongmin MA · 2022
Earlier work this paper cites.
Autopruner: transformer-based call graph pruning
Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach D Le, and Quyet Thang Huynh · 2022
Earlier work this paper cites.
Chain-of-thought prompting elicits reasoning in large language models
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al · 2022
Earlier work this paper cites.
Training language models to follow instructions with human feedback
Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, et al · 2022
Cited alongside, same era.
Striking a balance: pruning false-positives from static call graphs
Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, and Jens Palsberg · 2022
Cited alongside, same era.
Detecting vulnerabilities in linux-based embedded firmware with sse-based on-demand alias analysis
Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu, Hong Li, Hongsong Zhu, Kejiang Ye, and Limin Sun · 2023
Cited alongside, same era.
Boundary data augmentation for offline reinforcement learning
Jiahao SHEN, Ke JIANG, and Xiaoyang TAN · 2023
Cited alongside, same era.
Natural language processing
Salvatore Claudio Fanni, Maria Febi, Gayane Aghakhanyan, and Emanuele Neri · 2023
Cited alongside, same era.
Boosting static resource leak detection via llm-based resource-oriented intention inference
A survey on evaluation of large language models
Yupeng Chang, Xu Wang, Jindong Wang, Yuan Wu, Linyi Yang, Kaijie Zhu, Hao Chen, Xiaoyuan Yi, Cunxiang Wang, Yidong Wang, et al · 2024
Closest in time.
Enhancing static analysis for practical bug detection: An llm-integrated approach
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian · 2024
Closest in time.
Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis
Yuqiang Sun, Daoyuan Wu, Yue Xue, Han Liu, Haijun Wang, Zhengzi Xu, Xiaofei Xie, and Yang Liu · 2024
Closest in time.
When dataflow analysis meets large language models, 2024
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, and Xiangyu Zhang · 2024
Closest in time.
Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries
Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, and Lingming Zhang · 2024
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Chong Wang, Jianan Liu, Xin Peng, Yang Liu, and Yiling Lou · 2023
Cited alongside, same era.
Harnessing the power of llm to support binary taint analysis
Puzhuo Liu, Chengnian Sun, Yaowen Zheng, Xuan Feng, Chuan Qin, Yuncheng Wang, Zhi Li, and Limin Sun · 2023
Cited alongside, same era.
Kernelgpt: Enhanced kernel fuzzing via large language models
Chenyuan Yang, Zijie Zhao, and Lingming Zhang · 2023
Cited alongside, same era.
Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, and Lingming Zhang · 2023
Cited alongside, same era.
Can large language models reason about program invariants?
Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, and Pengcheng Yin · 2023
Cited alongside, same era.
Prompt Injection attack against LLM-integrated Applications, 2023
Yi Liu, Gelei Deng, Yuekang Li, Kailong Wang, Tianwei Zhang, Yepang Liu, Haoyu Wang, Yan Zheng, and Yang Liu · 2023
Cited alongside, same era.
Survey of hallucination in natural language generation
Ziwei Ji, Nayeon Lee, Rita Frieske, Tiezheng Yu, Dan Su, Yan Xu, Etsuko Ishii, Ye Jin Bang, Andrea Madotto, and Pascale Fung · 2023
Cited alongside, same era.
Yichen Li, Yun Peng, Yintong Huo, and Michael R Lyu · 2024
Closest in time.
Cocomic: Code completion by jointly modeling in-file and cross-file context
Yangruibo Ding, Zijian Wang, Wasi U Ahmad, Murali Krishna Ramanathan, Ramesh Nallapati, Parminder Bhatia, Dan Roth, and Bing Xiang · 2024
Closest in time.
Unleashing the power of type-based call graph construction by using regional pointer information
Yuandao Cai, Yibo Jin, and Charles Zhang · 2024
Closest in time.
Digger: Detecting Copyright Content Mis-usage in Large Language Model Training, 2024
Haodong Li, Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, Yang Liu, Guoai Xu, Guosheng Xu, and Haoyu Wang · 2024
Closest in time.
Lockpicking LLMs: A Logit-Based Jailbreak Using Token-level Manipulation, 2024
Yuxi Li, Yi Liu, Yuekang Li, Ling Shi, Gelei Deng, Shengquan Chen, and Kailong Wang · 2024
Closest in time.
Pandora: Jailbreak GPTs by Retrieval Augmented Generation Poisoning
Gelei Deng, Yi Liu, Kailong Wang, Yuekang Li, Tianwei Zhang, and Yang Liu · 2024
Closest in time.
MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation
Guanyu Wang, Yuekang Li, Yi Liu, Gelei Deng, Tianlin Li, Guosheng Xu, Yang Liu, Haoyu Wang, and Kailong Wang · 2024
Closest in time.
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, and Haoyu Wang · 2024
Closest in time.
MasterKey: Automated Jailbreak Across Multiple Large Language Model Chatbots
Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, and Yang Liu · 2024
Closest in time.
Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models
Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, and Haoyu Wang · 2024
Closest in time.
Fight fire with fire: How much can we trust chatgpt on source code-related tasks?
Xiao Yu, Lei Liu, Xing Hu, Jacky Wai Keung, Jin Liu, and Xin Xia · 2024
Closest in time.
A systematic survey of prompt engineering in large language models: Techniques and applications
Pranab Sahoo, Ayush Kumar Singh, Sriparna Saha, Vinija Jain, Samrat Mondal, and Aman Chadha · 2024
Closest in time.
Llama 3 model card
AI@Meta · 2024
Closest in time.
Together we go further: Llms and ide static analysis for extract method refactoring
Dorin Pomian, Abhiram Bellur, Malinda Dilhara, Zarina Kurbatova, Egor Bogomolov, Timofey Bryksin, and Danny Dig · 2024
Closest in time.