课题基金 / 基金详情

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

Future-proofing the Soot Framework for Program Analysis and Transformation (FutureSoot)
面向未来的程序分析和转换 Soot 框架 (FutureSoot)
批准号:
391001466
负责人:
Professor Dr. Eric Bodden
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research data and software (Scientific Library Services and Information Systems)
财政年份:
2018
资助国家:
德国
项目状态:
已结题
起止时间:
2017-12-31 至 2022-12-31

项目摘要

项目成果

Professor Dr. Eric Bodden的其他基金

相似基金

相关文献

中文摘要
翻译
Soot可能是全球最流行的分析和转换Java和Android应用程序的框架。在它十五多年的生命中,研究人员已经开发了无数直接基于烟灰的研究工具。SOOT框架为这些工具提供了一个通用的实现平台,大大增加了工具之间的可比性,并极大地减少了它们的实施时间和成本。本项目的主要目标是使Soot走上正确的道路,以确保其在项目持续时间以外的长期维护。因此,这项提议的基石是制定可持续发展计划,实施可靠的构建和测试基础设施,以及对SOOT的核心组件进行重新设计,以提高框架的模块化。这项工作的预期效果是,在未来,烟尘将更容易维护,也就是说,将根据完善的和有文件记录的流程进行维护。此外,利用研讨会,该项目旨在联合煤烟社区内的主要利益攸关方,并协调他们之间计划的维护工作。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Finding and Demonstrating Undesired Program Behavior
  • 批准号:
    275488084
  • 项目类别:
    Research Grants
  • 资助金额:
    $0.0万
  • 财政年份:
    2015
  • 负责人:
    Professor Dr. Eric Bodden
  • 依托单位:
Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)
  • 批准号:
    216294198
  • 项目类别:
    Independent Junior Research Groups
  • 资助金额:
    $0.0万
  • 财政年份:
    2012
  • 负责人:
    Professor Dr. Eric Bodden
  • 依托单位:
海外基金