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

PARSe

Financiado

Cerrado

Program Analysis and Reorganization as a Service

The PARSE project will explore the potential for wide deployment (and possible commercialization) of whole-program static program analysis techniques as a web-based service for program comprehension and reorganization. This analys... ver más

31/03/2020

UOA

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINO... 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.

Ver 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-03-31

ERC-2017-PoC: ERC-Proof of Concept

I+D

Cerrada hace 8 años

0% 100% 100%

Información adicional privada

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

2 Participantes

UOA

150.00K€ | Lider

DYNAMOBEL, S.A.

117.60K€ | Participante

Proyectos interesantes

VESTA

Software

Software Testin...

2M€ Cerrado

SOSA

Software

Software Testin...

3M€ Cerrado

PAWTOOLS

Software

Web Development

150K€ Cerrado

TESTABLE

Software

Cybersecurity

5M€ Cerrado

STANCE

Software

Cybersecurity

6M€ Cerrado

EUIN2017-89198

Software

Cybersecurity

8K€ Cerrado

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

Duración del proyecto: 23 meses Fecha Inicio: 2018-04-18
Fecha Fin: 2020-03-31

Líder del proyecto

ETHNIKO KAI KAPODISTRIAKO PANEPISTIMIO ATHINO... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

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

Descripción del proyecto The PARSE project will explore the potential for wide deployment (and possible commercialization) of whole-program static program analysis techniques as a web-based service for program comprehension and reorganization. This analysis-as-a-service (AaaS) approach will have direct value for a large number of professional programmers. The programmer will use the service to answer key program comprehension questions (including: how does my code use this open-source library?; Am I affected by the security vulnerabilities discovered in this library code?; What objects should I lock before making this library call?) and to act upon them (e.g., reorganize code and prepare packaged versions of binary code for deployment so that only the minimal needed code is included). Such needs have been identified in direct contact with major software companies (namely, Facebook and Oracle, which are both partners in current projects with the PI’s group). The proposed work lifts such specific coding needs to a general-availability web-based software analysis service. Analysis questions will be answered in high precision, with the aid of the program analysis algorithms developed in the ERC frontier research project (SPADE —307334) that the proposed work draws upon. Past tools in the commercial or research space have focused on high-precision, yet local, analysis. The proposed work will leverage whole-program static analysis techniques (such as pointer, value-flow, and taint analyses) that the PI’s group has extensively developed in the last decade.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores