Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

SOSA

Financiado

Cerrado

Self-Optimizing Static Program Analysis

Software systems pervade our personal and professional lives, yet their insecurity threaten our society. To assure that software systems are dependable and secure, one must reason about their code. Static program analysis enables... ver más

31/10/2029

UPB

3M€

Presupuesto del proyecto: 3M€

Líder del proyecto

UNIVERSITAET PADERBORN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2024-11-01

ERC-2023-ADG: ERC ADVANCED GRANTS Scope:Objectives

I+D

Cerrada hace 1 año

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UPB

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

EUIN2017-89198 INTERPRETACION HIPERABSTRACTA: ANALIZANDO LOS PROBLEMAS DEL... 8K€ Cerrado

EEBB-I-12-05620 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 2K€ Cerrado

HERRAMIENTA DE ANÁLISIS DINÁMICO DE CÓDIGO DE... HERRAMIENTA DE ANÁLISIS DINÁMICO DE CÓDIGO DE APLICACIONES P... 301K€ Cerrado

VESTA VErified STAtic analysis platform 2M€ Cerrado

PASS Program Analysis for Safe and Secure Software Evolution 2M€ Cerrado

Duración del proyecto: 59 meses Fecha Inicio: 2024-11-01
Fecha Fin: 2029-10-31

Líder del proyecto

UNIVERSITAET PADERBORN No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 3M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Software systems pervade our personal and professional lives, yet their insecurity threaten our society. To assure that software systems are dependable and secure, one must reason about their code. Static program analysis enables such reasoning. It can be applied to individual software components, and it can show not only the presence but also prove the absence of bugs and vulnerabilities. Yet, to be useful to software developers, static analyses must be adapted to the context in which they are used. Studies show that poorly adapted analyses slow down rather than assist development. They report large sets of false warnings that distract developers from actual bugs, which the analyses often miss. They often run so long that results are reported when they are already outdated. SOSA’s main research hypothesis is that one can generate precise and efficient static analyses of software systems by making static analysis self-aware and self-optimizing. With SOSA, a static analysis conducts analyses and optimizations not just of programs but of itself. This is a groundbreaking paradigm shift: no previous research has regarded complex program analyses themselves as the primary object of automated analysis and optimization. SOSA will introduce, for the first time, static analyses whose execution is not pre-defined by their creators but is inherently self-adaptive. In result, analyses automatically adapt themselves to yield a performance/precision tradeoff that is optimal with respect to how the analysis is deployed and which program it analyzes. With SOSA, static analyses will report true and relevant warnings at minimal analysis time without requiring manual optimizations by end users. SOSA will boost progress in the field of program-analysis research, mapping the landscape of static-analysis optimizations and how and where they are best applied. By enabling software developers to optimally deploy static analyses with ease, SOSA will help secure millions of software systems.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores