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)性能问题,这涉及到系统与应用程序以及多个应用程序之间的交互。该项目开发的系统将进行精确的静态分析算法更高效和可扩展,使他们能够处理现有技术无法分析的现代软件程序。由于许多用户和企业每天都在使用这些程序,因此使它们更加强大和安全可以为广泛的社区带来好处。该项目将开发用于复杂代码分析的大数据系统,为规模化程序分析开辟新的方向。它将涉及几个博士生和注入研究到本科生和研究生课程,以培养未来的开发人员。所有的系统实现,实验数据和文件,从项目将公开提供和维护在www.example.com。这个奖项反映了NSF的法定使命,并已被认为是值得的支持,通过评估使用基金会的智力价值和更广泛的影响审查标准。

项目成果

期刊论文数量(30)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
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
Accelerating Graph Mining Systems with Subgraph Morphing
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
Understanding and automatically detecting conflicting interactions between smart home IoT applications
{{ 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 的相机模块,用于生成可验证的视频

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

相似海外基金

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
CSR: Medium: Performant Architecturally Diverse Systems via Aspect-oriented Programming
CSR:中:通过面向方面的编程实现高性能的架构多样化系统
  • 批准号:
    1763503
  • 财政年份:
    2018
  • 资助金额:
    $ 119.97万
  • 项目类别:
    Continuing Grant
CSR: Medium: Optimal Control of Approximate Computing Systems
CSR:中:近似计算系统的最优控制
  • 批准号:
    1705092
  • 财政年份:
    2017
  • 资助金额:
    $ 119.97万
  • 项目类别:
    Standard Grant
CSR: Medium: Extensible Distributed Systems Solutions for Community Supported Child-Independent Mobility
CSR:中:用于社区支持的儿童独立移动的可扩展分布式系统解决方案
  • 批准号:
    1703497
  • 财政年份:
    2017
  • 资助金额:
    $ 119.97万
  • 项目类别:
    Standard Grant
CSR: CHS: Medium: Collaborative Research: Improving Pedestrian Safety in Urban Cities using Intelligent Wearable Systems
CSR:CHS:中:合作研究:利用智能可穿戴系统提高城市行人安全
  • 批准号:
    1704469
  • 财政年份:
    2017
  • 资助金额:
    $ 119.97万
  • 项目类别:
    Continuing Grant
CSR: CHS: Medium: Collaborative Research: Improving Pedestrian Safety in Urban Cities using Intelligent Wearable Systems
CSR:CHS:中:合作研究:利用智能可穿戴系统提高城市行人安全
  • 批准号:
    1704914
  • 财政年份:
    2017
  • 资助金额:
    $ 119.97万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了