BriefGPT.xyz
Ask
alpha
关键词
symbolic execution
搜索结果 - 5
自动化评估面向安全上下文的 AI 生成代码的正确性
本文提出了一种名为 ACCA 的完全自动化方法,用于评估用于安全目的的 AI 生成的代码的正确性。该方法使用符号执行来评估 AI 生成的代码是否与参考实现相同,并通过比较结果与领域中广泛使用的不同基准解决方案以及 OpenAI 开发的人工智
→
PDF
8 months ago
深度神经网络符号执行
DeepCheck 是一种基于程序分析中的符号执行核心思想的新方法,可将 DNN 翻译为一个命令式程序,并在图像分类的上下文中应用,以解决 DNN 分析中的两个有挑战性的问题:1)识别重要像素(用于属性和对抗生成);2)创建 1 像素和 2
→
PDF
6 years ago
代码向量:通过嵌入式的抽象符号化痕迹理解程序
本文介绍了如何使用程序追踪的抽象作为表示学习单词嵌入的一种方法,并展示了使用主要基于语义抽象的学习嵌入提供了接近三倍的准确度。
PDF
6 years ago
符号执行技术概述
本文介绍了符号执行在软件测试和程序分析领域中的主要思想、挑战和解决方案,以此向广大读者提供一个综述。
PDF
8 years ago
因果诱因语句:利用最大可满足性进行错误定位
该研究提出了一种基于 MAX-SAT 的错误定位算法,通过符号执行,将程序的追踪记录编码为布尔可满足公式,构造出不可满足公式,并使用 MAX-SAT 找到可能的错误原因集合,其算法实现在名为 bug-assist 的工具中,并可以自动为普遍
→
PDF
14 years ago
Prev
Next