NWO Stimuleringsregeling Kennisbenutting: Analyse van C/C++ source code

Om Rascal geschikt te maken voor de analyse en transformatie van programmeertalen is een substantiële hoeveelheid werk vereist die niet gemakkelijk in een onderzoeksomgeving uitgevoerd kan worden: de resultaten zijn bijzonder nuttig maar nauwelijks publiceerbaar.

Om Rascal geschikt te maken voor de analyse en transformatie van programmeertalen is een substantiële hoeveelheid werk vereist die niet gemakkelijk in een onderzoeksomgeving uitgevoerd kan worden: de resultaten zijn bijzonder nuttig maar nauwelijks publiceerbaar. In dit project ligt de focus op het ontwikkelen van een C/C++ front-end voor Rascal. Het project kan onderverdeeld worden in de volgende onderdelen:

  • Aanpassen van de al beschikbare C en C++ grammatica's zodat deze de volledige C/C++ standaard aankunnen.

  • Ontwerpen van gemeenschappelijk datamodel voor het representeren van uit C/C++ geëxtraheerde feiten.

  • Ontwerpen en implementeren van feitenextractors die het datamodel vullen met feiten die uit C/C++ sourcecode geëxtraheerd is.

  • Ontwerpen en implementeren van enkele standaardanalyses op C/C++ code (o.a. naam- en typeresolutie).

Participanten

  • Prof. dr. Paul Klint
  • Dr. Jurgen Vinju
  • Drs. Arnold Lankamp