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. 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