CSR: Large: Collaborative Research: SemGrep: a System for Improving Software Reliability Through Semantic Similarity Bug Search
CSR:大型:协作研究:SemGrep:通过语义相似性错误搜索提高软件可靠性的系统
基本信息
- 批准号:1012633
- 负责人:
- 金额:$ 19.4万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-07-01 至 2012-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software bugs have been reported to take lives and cost billions of dollars annually. Studies have shown that many bugs are "cloned" (i.e., copied-and-pasted) to many places. Unfortunately, existing error detection tools have not provided programmers the ability to efficiently search for bug clones. Thus, they have to resort to ad hoc manual approaches such as grepping the source tree for bug clones.This project aims to improve software reliability and integrity through automatic detection and repair of bug clones given a newly discovered vulnerability. It will investigate a new dimension, code similarity, for detecting software bugs. Specifically, it will investigate the feasibility of an approach that derives bug "seeds" from a new bug patch or existing static or dynamic error detection tools, searches a large code base (potentially across administrative domains) for bug clones, and automatically protects the bug clones. This approach can detect bugs in cases where many existing techniques cannot due to code complexity: detecting similarity between code is easier than deconstructing its meaning.If successful, this project will result in accurate tools that will help to detect and repair software vulnerabilities early. Programmers will use these tools to detect and repair bug clones whenever applicable. Improvements in the reliability and security of software on which business, government, and individuals depend on will positively impact society. This project will provide a more reliable and robust computing infrastructure resilient to new threats and attacks. Integrating the proposed research into the CS curriculum will as promote reliability and security awareness.
据报道,软件漏洞每年都会夺走生命,并造成数十亿美元的损失。 研究表明,许多错误是“克隆”的(即,复制和粘贴)到许多地方。 不幸的是,现有的错误检测工具还没有为程序员提供有效搜索错误克隆的能力。 因此,他们不得不求助于特别的手工方法,例如在源代码树中查找错误克隆。这个项目旨在通过自动检测和修复新发现的漏洞的错误克隆来提高软件的可靠性和完整性。 它将研究一个新的维度,代码相似性,用于检测软件错误。 具体来说,它将调查一种方法的可行性,该方法从新的错误补丁或现有的静态或动态错误检测工具中获取错误“种子”,在大型代码库(可能跨管理域)中搜索错误克隆,并自动保护错误克隆。 这种方法可以在许多现有技术由于代码复杂性而无法检测的情况下检测错误:检测代码之间的相似性比解构其含义更容易。如果成功,该项目将产生准确的工具,有助于早期检测和修复软件漏洞。 程序员将使用这些工具来检测和修复错误克隆只要适用。 企业、政府和个人所依赖的软件的可靠性和安全性的提高将对社会产生积极的影响。 该项目将提供一个更可靠、更强大的计算基础设施,能够抵御新的威胁和攻击。 将建议的研究纳入CS课程将促进可靠性和安全意识。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Junfeng Yang其他文献
Pd/Ming-Phos-Catalyzed Asymmetric Three-Component Arylsilylation of N-Sulfonylhydrazones: Enantioselective Synthesis of gem-Diarylmethine Silanes
Pd/Ming-Phos 催化 N-磺酰腙的不对称三组分芳基硅烷化:对映选择性合成宝石二芳基次甲基硅烷
- DOI:
10.1021/jacs.2c07037 - 发表时间:
2022 - 期刊:
- 影响因子:15
- 作者:
Bin Yang;Kangning Cao;Guofeng Zhao;Junfeng Yang;Junliang Zhang - 通讯作者:
Junliang Zhang
A surface ion imprinted magnetic silica sorbent for the separation and determination of leaching silver in antibacterial food contact products
表面离子印迹磁性二氧化硅吸附剂,用于分离和测定抗菌食品接触产品中浸出的银
- DOI:
10.1139/cjc-2014-0428 - 发表时间:
2015-01 - 期刊:
- 影响因子:1.1
- 作者:
Junfeng Yang;Fan Wang;Jinrong Wang;Bo Wang - 通讯作者:
Bo Wang
Offline data processing software for a Li2MoO4 bolometer demonstration experiment at China Jinping Underground Laboratory
中国锦屏地下实验室Li2MoO4测辐射热计示范实验离线数据处理软件
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:1.3
- 作者:
Kangkang Zhao;Mingxuan Xue;Haiping Peng;Deyong Duan;Taiyuan Liu;Yunlong Zhang;Junfeng Yang;Qing Lin;Zizong Xu;Xiaolian Wang - 通讯作者:
Xiaolian Wang
About Event Tracing for Windows
关于 Windows 事件跟踪
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Oren Laadan;N. Viennot;Chia;C. Blinn;Junfeng Yang;Jason Nieh - 通讯作者:
Jason Nieh
Decoupled Power Angle and Voltage Regulation Modes for Electric Springs
电弹簧的解耦功率角和电压调节模式
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Zhi Cai;S. Dai;Kun Zhao;Junfeng Yang - 通讯作者:
Junfeng Yang
Junfeng Yang的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Junfeng Yang', 18)}}的其他基金
SBIR Phase I: NimbleDroid: Combining Program Analysis Breakthroughs and Big Data to Improve Mobile App Performance
SBIR 第一阶段:NimbleDroid:结合程序分析突破和大数据来提高移动应用程序性能
- 批准号:
1621982 - 财政年份:2016
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
TWC: Medium: Collaborative: Efficient Repair of Learning Systems via Machine Unlearning
TWC:媒介:协作:通过机器取消学习有效修复学习系统
- 批准号:
1564055 - 财政年份:2016
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CSR: Small: LOOM: a Language and System for Bypassing and Diagnosing Concurrency Errors
CSR:小:LOOM:一种用于绕过和诊断并发错误的语言和系统
- 批准号:
1117805 - 财政年份:2011
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CAREER: Making Threads More Deterministic by Memoizing Schedules
职业生涯:通过记忆时间表使线程更具确定性
- 批准号:
1054906 - 财政年份:2011
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant
CSR: Medium: Guanyin: a Thousand hands with a Thousand eyes for Distributed Software Checking
CSR:媒介:观音:分布式软件检查的千手千眼
- 批准号:
0905246 - 财政年份:2009
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant
相似国自然基金
水稻穗粒数调控关键因子LARGE6的分子遗传网络解析
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
量子自旋液体中拓扑拟粒子的性质:量子蒙特卡罗和新的large-N理论
- 批准号:
- 批准年份:2020
- 资助金额:62 万元
- 项目类别:面上项目
甘蓝型油菜Large Grain基因调控粒重的分子机制研究
- 批准号:31972875
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
Large PB/PB小鼠 视网膜新生血管模型的研究
- 批准号:30971650
- 批准年份:2009
- 资助金额:8.0 万元
- 项目类别:面上项目
基因discs large在果蝇卵母细胞的后端定位及其体轴极性形成中的作用机制
- 批准号:30800648
- 批准年份:2008
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
LARGE基因对口腔癌细胞中α-DG糖基化及表达的分子调控
- 批准号:30772435
- 批准年份:2007
- 资助金额:29.0 万元
- 项目类别:面上项目
相似海外基金
NeTS: CSR: Large: Collaborative Research: Co-Design of Network, Storage and Computation Fabrics for Disaggregated Datacenters
NeTS:CSR:大型:协作研究:分解数据中心的网络、存储和计算结构的协同设计
- 批准号:
1704742 - 财政年份:2017
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant
NeTS: CSR: Large: Collaborative Research: Co-Design of Network, Storage and Computation Fabrics for Disaggregated Datacenters
NeTS:CSR:大型:协作研究:分解数据中心的网络、存储和计算结构的协同设计
- 批准号:
1704941 - 财政年份:2017
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant
CSR: Medium: Collaborative Research: Wizard: Exploiting Disk Performance Signatures for Cost-Effective Management of Large-Scale Storage Systems
CSR:中:协作研究:向导:利用磁盘性能签名实现大规模存储系统的经济高效管理
- 批准号:
1563750 - 财政年份:2016
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CSR: Large: Collaborative Research: Smart earpiece for supporting healthy eating behaviors
CSR:大型:协作研究:支持健康饮食行为的智能耳机
- 批准号:
1565269 - 财政年份:2016
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant
CSR: Large: Collaborative Research:Smart earpiece for supporting healthy eating behaviors
CSR:大型:协作研究:支持健康饮食行为的智能耳机
- 批准号:
1565268 - 财政年份:2016
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant
CSR: Medium: Collaborative Research: Wizard: Exploiting Disk Performance Signatures for Cost-Effective Management of Large-Scale Storage Systems
CSR:中:协作研究:向导:利用磁盘性能签名实现大规模存储系统的经济高效管理
- 批准号:
1563728 - 财政年份:2016
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Software Defined Energy Adaptation in Large Scale Data Centers
CSR:小型:协作研究:大型数据中心的软件定义能源适应
- 批准号:
1422921 - 财政年份:2014
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
CSR:CC:小型:协作研究:大规模数据分析的语言和运行时支持
- 批准号:
1460683 - 财政年份:2014
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Software Defined Energy Adaptation in Large Scale Data Centers
CSR:小型:协作研究:大型数据中心的软件定义能源适应
- 批准号:
1421913 - 财政年份:2014
- 资助金额:
$ 19.4万 - 项目类别:
Standard Grant
CSR: Large: Collaborative research: Computational Jewelry for Mobile Health
企业社会责任:大型:合作研究:移动健康的计算珠宝
- 批准号:
1314281 - 财政年份:2013
- 资助金额:
$ 19.4万 - 项目类别:
Continuing Grant