Rubriken
Hauptseite
Nachrichten
Artikel
Kurztipps
Programmnews
Sicherheit
LUGs
Veranstaltungen
Umfragen
Forum
News mitteilen
News-Archiv
Newsletter
Suche
Pro-Linux
DBApp-Menü
Aktuell
Archiv
Melden
Feedback
Veröffentlichungen
Juni 2020
So
Mo
Di
Mi
Do
Fr
Sa
1
2
3
4
5
6
7
8
9
10
1
1
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
DBApp-Suche
Erweiterte Suche
Application datasets: 20716
Version datasets: 149403
DBApp v1.06
Copyright ©
demon
Werbung
Programm-Informationen
Applikation:
CIL (C Intermediate Language)
Version(en):
Hauptzweig
1.7.3
Lizenz:
BSD-Lizenz (Dreiklausel)
Homepage:
http://kerneis.github.com/cil/
Kategorie:
Konsole
Beschreibung:
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.
Neue Version melden
Version
Zweig
Hauptzweig
Entwicklungszweig
Sollte der von Ihnen angedachte Zweig nicht in unserer Liste aufgelistet sein, so tragen Sie bitte unter
Zweig (Andere)
eine neue Entwicklungslinie (Branch) ein.
Zweig (Andere)
Änderungen
Aktualisierungen
Alphaversion
Betaversion
Code-Bereinigung
Dokumentationsaktualisierung
Ersteintrag
Geringfügige Korrekturen
Keine Angaben
Kleinere neue Funktionen
Kleinere Sicherheitsänderungen
Kleinere Verbesserungen
Lizenzänderung
Stabile Version
Testversion
Veröffentlichungskandidat
Viele neue Funktionen
Vorschau
Wichtige Korrekturen
Wichtige Sicherheitsänderungen
Wichtige Verbesserungen
Übersetzungen
Zahlreiche Verbesserungen