CSR: Medium: Systems Support for Scalable, Easy-to-Implement, and Multilingual Static Analyses of Modern Software
CSR:中:对现代软件的可扩展、易于实施和多语言静态分析的系统支持
基本信息
- 批准号:1763172
- 负责人:
- 金额:$ 119.97万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2018
- 资助国家:美国
- 起止时间:2018-08-15 至 2023-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Static program analysis has been widely used in academia and industry to find bugs, security vulnerabilities, and performance optimization opportunities. Supporting sophisticated analysis algorithms on large codebases has been a key challenge in the program analysis research for decades. This inability is the major factor that prevents analysis-based techniques from being widely adopted in industry. This project revisits this problem from a data-driven perspective and develops novel system solutions that can make static program analyses easy to implement, support large codebases, and support programs written in multiple languages.The project will develop a transformative approach with four elements: (1) develop disk-based out-of-core systems to parallelize and scale constraint-based path-sensitive analysis; (2) develop system support for flow-sensitive analysis by treating it as evolving graph processing; (3) develop a distributed system solution to SAT solving --- a 50-year old problem --- to enable SAT-based applications to solve larger problems with the resources available in modern computing; and (4) analyze the Android operating system and apps together to find complicated (a) bugs, (b) security vulnerabilities, and (c) performance problems, which involve interactions between the system and an app as well as multiple apps.The systems developed by the project will make precise static analysis algorithms more efficient and scalable, enabling them to process modern software programs that existing techniques could not analyze. Since these programs are used every day by many users and businesses, making them more robust and secure extends the benefit to a broad community. The project will develop big data systems for sophisticated code analysis, opening a new direction to scale program analysis. It will involve several PhD students and infuse research into the undergraduate and graduate curricula to train developers of the future.All the system implementations, experimental data, and documents from the project will be publicly available and maintained at https://www.ics.uci.edu/~guoqingx/research/projects/analysis.html .This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
静态程序分析已在学术界和行业中广泛使用,以查找错误,安全漏洞和性能优化机会。几十年来,在大型代码库上支持复杂分析算法一直是计划分析研究的关键挑战。这种无能是阻止基于分析的技术在行业中广泛采用的主要因素。该项目从数据驱动的角度重新讨论了这个问题,并开发了新型系统解决方案,这些解决方案可以使静态程序分析易于实施,支持大型代码库以及用多种语言编写的支持程序。该项目将开发一种具有四个元素的变革性方法:(( 1)开发基于磁盘的外部系统以并行化和规模约束基于路径敏感的分析; (2)通过将其视为不断发展的图形处理来开发系统支持; (3)开发一个分布式系统解决方案来解决SAT解决---一个50年的问题---启用基于SAT的应用程序,以解决现代计算中可用资源的更大问题; (4)一起分析Android操作系统和应用程序以找到复杂的(a)错误,(b)安全漏洞以及(c)性能问题,涉及系统与应用程序之间的交互以及多个应用程序。该项目开发的将使精确的静态分析算法更加高效,可扩展,从而使它们能够处理现有技术无法分析的现代软件程序。由于许多用户和企业每天都使用这些计划,因此使它们更强大和安全将收益扩展到广泛的社区。该项目将开发用于复杂代码分析的大数据系统,并为规模计划分析开辟了新的方向。它将涉及几名博士生,并注入对本科和研究生课程的研究,以培训未来的开发商。所有系统的实施,实验数据和项目的文件都将在https://wwww.ics上公开可用。 uci.edu/~guoqingx/research/projects/Analysis.html。该奖项反映了NSF的法定任务,并且使用基金会的知识分子优点和更广泛的影响评估标准,被认为值得通过评估来获得支持。
项目成果
期刊论文数量(30)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Accelerating Graph Mining Systems with Subgraph Morphing
- DOI:10.1145/3552326.3567489
- 发表时间:2023-05
- 期刊:
- 影响因子:0
- 作者:Kasra Jamshidi;Harry Xu;Keval Vora
- 通讯作者:Kasra Jamshidi;Harry Xu;Keval Vora
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads
- DOI:
- 发表时间:2021-05
- 期刊:
- 影响因子:0
- 作者:John Thorpe;Yifan Qiao;Jon Eyolfson;Shen Teng;Guanzhou Hu;Zhihao Jia;Jinliang Wei;Keval Vora-Keval-Vor
- 通讯作者:John Thorpe;Yifan Qiao;Jon Eyolfson;Shen Teng;Guanzhou Hu;Zhihao Jia;Jinliang Wei;Keval Vora-Keval-Vor
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan
使用 Graspan 系统化大型系统代码的过程间静态分析
- DOI:10.1145/3466820
- 发表时间:2021-07
- 期刊:
- 影响因子:0
- 作者:Zuo Zhiqiang;Wang Kai;Hussain Aftab;Sani Ardalan Amiri;Zhang Yiyu;Lu Shenming;Dou Wensheng;Wang Linzhang;Li Xu;ong;Wang Chenxi;Xu Guoqing Harry
- 通讯作者:Xu Guoqing Harry
Gerenuk: thin computation over big native data using speculative program transformation
- DOI:10.1145/3341301.3359643
- 发表时间:2019-10
- 期刊:
- 影响因子:0
- 作者:Christian Navasca;Cheng Cai;Khanh Nguyen;Brian Demsky;Shan Lu;Miryung Kim;G. Xu
- 通讯作者:Christian Navasca;Cheng Cai;Khanh Nguyen;Brian Demsky;Shan Lu;Miryung Kim;G. Xu
Understanding and automatically detecting conflicting interactions between smart home IoT applications
- DOI:10.1145/3368089.3409682
- 发表时间:2020-11
- 期刊:
- 影响因子:0
- 作者:R. Trimananda;S. A. H. Aqajari;Jason Chuang;Brian Demsky;G. Xu;Shan Lu
- 通讯作者:R. Trimananda;S. A. H. Aqajari;Jason Chuang;Brian Demsky;G. Xu;Shan Lu
{{
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 }}
Ardalan Amiri Sani其他文献
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos
ProvCam:具有独立 TCB 的相机模块,用于生成可验证的视频
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Yuxin Liu;Zhihao Yao;M. Chen;Ardalan Amiri Sani;Sharad Agarwal;Gene Tsudik - 通讯作者:
Gene Tsudik
Ardalan Amiri Sani的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ardalan Amiri Sani', 18)}}的其他基金
Collaborative Research: SaTC: CORE: Small: Self-Driving Continuous Fuzzing
协作研究:SaTC:核心:小型:自驱动连续模糊测试
- 批准号:
2247880 - 财政年份:2023
- 资助金额:
$ 119.97万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Collaborative: Deep and Efficient Dynamic Analysis of Operating System Kernels
SaTC:核心:小型:协作:操作系统内核的深入有效的动态分析
- 批准号:
1953932 - 财政年份:2020
- 资助金额:
$ 119.97万 - 项目类别:
Standard Grant
CAREER: Securing Mobile Devices by Hardening their System Software
职业:通过强化系统软件来保护移动设备
- 批准号:
1846230 - 财政年份:2019
- 资助金额:
$ 119.97万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Collaborative: Guarding the Integrity of Mobile Graphical User Interfaces
SaTC:核心:小型:协作:保护移动图形用户界面的完整性
- 批准号:
1718923 - 财政年份:2017
- 资助金额:
$ 119.97万 - 项目类别:
Standard Grant
CSR: Small: Collaborative Research: Taming Mobile Hardware & OS Diversity for Comprehensive Software Analysis
CSR:小型:协作研究:驯服移动硬件
- 批准号:
1617481 - 财政年份:2016
- 资助金额:
$ 119.97万 - 项目类别:
Standard Grant
TWC: Small: Enhancing the Security and Performance of GPU Access in Web Browsers
TWC:小型:增强 Web 浏览器中 GPU 访问的安全性和性能
- 批准号:
1617513 - 财政年份:2016
- 资助金额:
$ 119.97万 - 项目类别:
Standard Grant
相似国自然基金
中等质量黑洞附近的暗物质分布及其IMRI系统引力波回波探测
- 批准号:12365008
- 批准年份:2023
- 资助金额:32 万元
- 项目类别:地区科学基金项目
基于中等规模超导多量子比特系统的量子模拟
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
中枢组胺能神经系统对纹状体中等多棘神经元的调控及其与帕金森病的关系
- 批准号:31771143
- 批准年份:2017
- 资助金额:57.0 万元
- 项目类别:面上项目
磁压缩系统中等离子体加热及杂质粒子产生的机理研究
- 批准号:11405166
- 批准年份:2014
- 资助金额:28.0 万元
- 项目类别:青年科学基金项目
中等强度关联电子系统中的新奇量子态
- 批准号:11174035
- 批准年份:2011
- 资助金额:60.0 万元
- 项目类别:面上项目
相似海外基金
CSR: Medium: Improving the Interface between Machine Learning and Software Systems
CSR:中:改进机器学习和软件系统之间的接口
- 批准号:
2313190 - 财政年份:2023
- 资助金额:
$ 119.97万 - 项目类别:
Standard Grant
Collaborative Research: CSR: Medium: MemDrive: Memory-Driven Full-Stack Collaboration for Autonomous Embedded Systems
协作研究:CSR:媒介:MemDrive:自主嵌入式系统的内存驱动全栈协作
- 批准号:
2312397 - 财政年份:2023
- 资助金额:
$ 119.97万 - 项目类别:
Continuing Grant
Collaborative Research: CSR: Medium: MemDrive: Memory-Driven Full-Stack Collaboration for Autonomous Embedded Systems
协作研究:CSR:媒介:MemDrive:自主嵌入式系统的内存驱动全栈协作
- 批准号:
2312396 - 财政年份:2023
- 资助金额:
$ 119.97万 - 项目类别:
Continuing Grant
CSR: Medium: Systems Abstractions for Self-Powered Smart Textiles
CSR:中:自供电智能纺织品的系统抽象
- 批准号:
1763524 - 财政年份:2018
- 资助金额:
$ 119.97万 - 项目类别:
Continuing Grant
CSR: Medium: Rethinking Distributed SSD Storage Systems
CSR:中:重新思考分布式 SSD 存储系统
- 批准号:
1763546 - 财政年份:2018
- 资助金额:
$ 119.97万 - 项目类别:
Continuing Grant