Veröffentlichungen
April 2015
So Mo Di Mi Do Fr Sa
  1234
567891011
12131415161718
19202122232425
2627282930 
DBApp-Suche

Application datasets: 19700 Version datasets: 132159
DBApp v1.06
Copyright © demon
Werbung
  CIL (C Intermediate Language)

CIL ist ein Frontend für die Programmiersprache C, das die Programmanalyse und Transformation ermöglicht. CIL parst ein Programm und führt eine Typprüfung durch, dann compilert es das Programm in eine vereinfachte Untermenge von C. Beispielsweise werden in CIL alle Schleifenkonstrukte in eine einheitliche Form gebracht und Ausdrücke haben keine Seiteneffekte. Das reduziert die Anzahl der zu betrachtenden Fälle, wenn man ein C-Programm bearbeitet. CIL wurde in verschiedenen Projekten eingesetzt, darunter CCured, ein Werkzeug, das C-Programme speichersicher macht. Es unterstützt ANSI C sowie die meisten Erweiterungen von GNU C und Microsoft C. Ein Perl-Skript ist als direkter Ersatz für gcc oder cl verfügbar und ermöglicht es, die Quellcode-Dateien einem Projekt hinzuzufügen. Weitere Features sind die Unterstützung für Analysen des Kontrollflusses und der Zeiger. (non)


 

Homepage: http://kerneis.github.com/cil/
Rating:
Lizenz: BSD-Lizenz (geändert)
Kategorie: Konsole
 
 

.: Hauptzweig
2013-07-25  1.7.3  Keine Angaben  mehr...  
 
  Angaben ändern   Neue Version melden