会员服务
LLM-Driven SAST-Genius: A Hybrid Static Analysis Framework for Comprehensive and Actionable Security
Arxiv
0+阅读 · 11月4日
Resolving Indirect Calls in Binary Code via Cross-Reference Augmented Graph Neural Networks
Arxiv
0+阅读 · 11月8日
Towards Classifying Benign And Malicious Packages Using Machine Learning
Arxiv
0+阅读 · 11月19日
Try-Mopsa: Relational Static Analysis in Your Pocket
Arxiv
0+阅读 · 11月19日
OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
Arxiv
0+阅读 · 12月3日
Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
Arxiv
0+阅读 · 11月27日
Trust Me, I Know This Function: Hijacking LLM Static Analysis using Bias
Arxiv
0+阅读 · 12月18日
Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis
Arxiv
0+阅读 · 11月22日
Leveraging Static Analysis for Bug Repair
Leveraging Static Analysis for Bug Repair
Arxiv
0+阅读 · 2023年4月21日
Leveraging Static Analysis for Bug Repair
Arxiv
0+阅读 · 2023年4月20日
Static Analysis of Graph Database Transformations
Arxiv
0+阅读 · 2023年4月20日
A Static Analysis of Informed Down-Samples
Arxiv
0+阅读 · 2023年4月17日
Improving Few-Shot Prompts with Relevant Static Analysis Products
Arxiv
0+阅读 · 2023年4月13日
Static Analysis of Graph Database Transformations
Arxiv
0+阅读 · 2023年4月11日
QChecker: Detecting Bugs in Quantum Programs via Static Analysis
Arxiv
0+阅读 · 2023年4月10日
参考链接
微信扫码咨询专知VIP会员
Top