Future-proofing the Soot Framework for Program Analysis and Transformation (FutureSoot)

面向未来的程序分析和转换 Soot 框架 (FutureSoot)

基本信息

  • 批准号:
    391001466
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    德国
  • 项目类别:
    Research data and software (Scientific Library Services and Information Systems)
  • 财政年份:
    2018
  • 资助国家:
    德国
  • 起止时间:
    2017-12-31 至 2022-12-31
  • 项目状态:
    已结题

项目摘要

Soot is the probably worldwide most popular framework for analyzing and transforming Java and Android applications. During its lifetime of more than fifteen years, researchers have developed countless research tools directly based on Soot. The Soot framework offers those tools a common implementation platform, which greatly increases comparability between the tools, and greatly reduced the time and cost of their implementation.The main goal of this project is to set Soot on the right track to secure its maintenance also in the long term, beyond the duration of this project. The cornerstones of this proposal are thus the development of a sustainability plan, the implementation of a reliably build-and-test infrastructure, and a reengineering of Soot's core components to improve the framework's modularity. The desired effect of this work is that in the future Soot will be easier to maintain and that is will be maintained according to well-established and documented processes. Further, using workshops the project aims to unite the main stakeholder within the Soot community and to coordinate the planned maintenance efforts between them.
Soot可能是全球最流行的分析和转换Java和Android应用程序的框架。在其超过15年的生命周期中,研究人员已经开发了无数直接基于Soot的研究工具。Soot框架为这些工具提供了一个通用的实现平台,这大大增加了工具之间的可比性,并大大减少了它们实现的时间和成本。本项目的主要目标是将Soot置于正确的轨道上,以确保其在项目持续时间之外的长期维护。因此,该提案的基石是制定可持续发展计划,实施可靠的构建和测试基础设施,以及重新设计Soot的核心组件,以提高框架的模块化。这项工作的预期效果是,在未来的烟尘将更容易维护,这将是根据良好的建立和记录的过程进行维护。此外,通过研讨会,该项目旨在团结Soot社区内的主要利益相关者,并协调他们之间的计划维护工作。

项目成果

期刊论文数量(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 }}

Professor Dr. Eric Bodden其他文献

Professor Dr. Eric Bodden的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Eric Bodden', 18)}}的其他基金

Finding and Demonstrating Undesired Program Behavior
查找并演示不需要的程序行为
  • 批准号:
    275488084
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)
通过声明性定义的动态程序分析可证明程序执行的安全性(密码:RUNSECURE)
  • 批准号:
    216294198
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Independent Junior Research Groups

相似海外基金

Future-proofing Australia’s care economy: A relational mobilities approach
面向未来的澳大利亚护理经济:关系流动方法
  • 批准号:
    DE240100074
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Discovery Early Career Researcher Award
Restoring & future-proofing the biocultural values of endangered seagrasses
正在恢复
  • 批准号:
    LP220200950
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Linkage Projects
Future-proofing Australia's groundwater supplies using hydrogeophysics
利用水文地球物理学确保澳大利亚地下水供应面向未来
  • 批准号:
    IM240100160
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Mid-Career Industry Fellowships
Mitigating presentation attacks in remote identity proofing (MIMER): Pakistan in Focus
减轻远程身份验证 (MIMER) 中的演示攻击:巴基斯坦焦点
  • 批准号:
    EP/Y002288/1
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Heat proofing Immunity: Pioneering a Thermally Resilient Ensilicated mRNA-LNP Vaccine Platform
耐热免疫:开创耐热硅化 mRNA-LNP 疫苗平台
  • 批准号:
    10086064
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Small Business Research Initiative
Collaborative Research: FW-HTF-RM: Human-in-the-Lead Construction Robotics: Future-Proofing Framing Craft Workers in Industrialized Construction
合作研究:FW-HTF-RM:人类主导的建筑机器人:工业化建筑中面向未来的框架工艺工人
  • 批准号:
    2326160
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: FW-HTF-RM: Human-in-the-Lead Construction Robotics: Future-Proofing Framing Craft Workers in Industrialized Construction
合作研究:FW-HTF-RM:人类主导的建筑机器人:工业化建筑中面向未来的框架工艺工人
  • 批准号:
    2326159
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Future proofing and restoring Australia’s tropical seagrasses
面向未来并恢复澳大利亚热带海草
  • 批准号:
    LP210300851
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Linkage Projects
Future proofing roads digital twins
面向未来的道路数字孪生
  • 批准号:
    2886371
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
Dynamic Plant Phenotyping for future proofing crop productivity
动态植物表型可保证未来作物生产力
  • 批准号:
    BB/X018962/1
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了