BriefGPT.xyz
Ask
alpha
关键词
static analyzers
搜索结果 - 4
增强集成上下文信息的代码生成库
CatCoder 是一种新颖的代码生成框架，扩展了库级代码生成的能力，通过整合相关代码和类型上下文，利用静态分析器提取类型依赖并将其与检索到的代码合并，创建综合提示；实验证明 CatCoder 在各种 LLMs 中表现良好，提供了一致的性能
→
PDF
a month ago
Getafix：自动修复错误学习
本研究提出了一种自动修复常见代码错误的方法称为 Getafix，该方法通过学习从先前编写的代码修复中获取模式并建立一个从常规变得更具体的聚类层次结构。Getafix 能够在时间比调用静态分析结果所需的时间短的情况下生成人类般的修复并被 Fa
→
PDF
5 years ago
使用深度表示学习自动检测源代码中的漏洞
这项研究利用 C/C++ 开源代码，使用机器学习开发了一个基于函数级别的漏洞检测系统，并使用三个定位潜在攻击的静态分析器精心筛选标注了数百万个开源函数的数据集。研究表明深度学习源代码的特征表示法是一种自动化软件漏洞检测的有前途的方法。
PDF
6 years ago
从数据中学习静态分析器
本文提出了一种自动化的方法来创建静态分析器，通过从数据集中学习推理规则，实现了针对 JavaScript 静态分析规则的学习，该方法包括综合算法和反例指导的学习程序，并能够发现手动标定的分析器无法识别的实用推理规则。
PDF
8 years ago
Prev
Next