热点
"静态分析" 相关文章
静态程序分析之数据流分析(Foundations + LiveVar Analysis Code)续
看雪学院 2025-10-23T12:50:01.000000Z
Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring
cs.AI updates on arXiv.org 2025-10-15T04:47:26.000000Z
田纳西理工大学 | 基于深度学习的恶意软件检测的自动化机器学习
安全学术圈 2025-10-13T15:49:46.000000Z
田纳西理工大学 | 基于深度学习的恶意软件检测的自动化机器学习
安全学术圈 2025-10-13T15:49:46.000000Z
西安电子科技大学 | GlareShell: 一种基于图学习工业互联网的Web服务器PHP Webshell检测
安全学术圈 2025-09-30T15:50:41.000000Z
AI coding assistants are twice as verbose as Stack Overflow
LeadDev 2025-09-30T11:07:11.000000Z
AI coding assistants are twice as verbose as Stack Overflow
LeadDev 2025-09-30T11:07:11.000000Z
让大模型合成检查器：UIUC团队挖出Linux内核90余个长期潜伏漏洞
机器之心 2025-09-28T05:28:11.000000Z
AI-Specific Code Smells: From Specification to Detection
cs.AI updates on arXiv.org 2025-09-26T04:21:29.000000Z
Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
cs.AI updates on arXiv.org 2025-09-17T05:36:40.000000Z
复旦大学 | 检测微服务应用中的污点风格漏洞
安全学术圈 2025-09-11T20:14:11.000000Z
2025 KCTF | 第七题《危局初现》设计思路及解析
看雪学院 2025-08-29T11:23:57.000000Z
复旦大学 | 检测微服务应用中的污点风格漏洞
安全学术圈 2025-08-23T15:31:09.000000Z
Code Vulnerability Detection Across Different Programming Languages with AI Models
cs.AI updates on arXiv.org 2025-08-19T04:01:54.000000Z
使用CodeQL检测C++迭代器失效问题
掘金 人工智能 2025-08-13T08:26:57.000000Z
基于图的漏洞定位
拨开云雾 2025-05-14T11:05:51.000000Z
NASA 的软件开发十条规则
宝玉的分享 2025-02-17T14:48:56.000000Z
How GitHub uses CodeQL to secure GitHub
The GitHub Blog 2025-02-12T17:05:01.000000Z
Meet LLMSA: A Compositional Neuro-Symbolic Approach for Compilation-Free, Customizable Static Analysis with Reduced Hallucinations
MarkTechPost@AI 2024-12-23T06:44:22.000000Z
Static Analysis As A Lifestyle
少点错误 2024-07-03T18:35:31.000000Z