Splint 3.1.1

C-Programme statisch auf Sicherheitsprobleme und Programmierfehler überprüfen

Entwickler:   Secure Programming Group University of Virginia
      software by Secure Programming Group University of Virginia →
Preis:  $0
Lizenz:   kostenlos
Dateigröße:   k.A.
Language:  Englisch
OS:   Windows 95, 98, ME, NT, 2000, XP, 2003, Linux
Rating:   0 /5 (0 votes)

C-Programme statisch auf Sicherheitsprobleme und Programmierfehler überprüfen

tags



Download Splint 3.1.1

 Download Splint 3.1.1


Autoren-Software

Splint 3.1.1
Secure Programming Group University of Virginia

C-Programme statisch auf Sicherheitsprobleme und Programmierfehler überprüfen

Ähnliche Software

Splint 3.1.1
Secure Programming Group University of Virginia

C-Programme statisch auf Sicherheitsprobleme und Programmierfehler überprüfen

MSCExec (Scripting Components Exec) 2.0
Miraplacid

Kann Programme direkt über Skripte ausführen; erlaubt das Setzen von Parametern und das Überprüfen von Ergebnissen; die Windows-Version ist Freeware

Testingpoint Lite 1.3
Langmeier Host Monitoring Software

Überwachungssoftware für Dienste, Services und Programme, kümmert sich etwa um HTML-Seiten, FTP-Server und Logdateien von installierter Software, Pro-Version kann zudem Bestellvorgänge in Online-Shops simulieren und SQL-Datenbanken überprüfen

DynDNS 1.8
Christoph Schwering

Client/Server-System, das einen Webserver mit dynamischer IP statisch im Internet erreichbar macht

CMake 2.4.6
Kitware Inc.

Überprüfen von Software-Compilern durch Plattform- und Compilerunabhängige Konfigurationsdateien

jBixbe 1.0
ds-emedia

Java-Debugger zur Quellcode-Verfolgung und Untersuchung laufender Anwendungen auf UML-Ebene; lokalisiert Programmierfehler sowie Schwächen im Programm-Design; die Demo-Version hat ein Zeitlimit von drei Minuten pro Session

GParted 0.3.3
Bart Hakvoort

Live-CD, mit der sich Partitionen erstellen, löschen, in ihrer Größe verändern oder auf Fehler überprüfen lassen; unterstützt gängige Linux- und Windows-Partitionen, eine detaillierte Liste bietet der Hersteller auf seiner Homepage

CrossOver 6.1
CodeWeavers

Beliebte Windows-Programme auf einem Mac installieren und ausführen; einmal installierte Programme können ganz normal über den OS X Finder gestartet werden; von Windows-Programmen erstellte Dateien werden dann auch automatisch mit diesen Programmen geöffnet; auch als Linux-Version erhältlich

cdrtools 2.01
Joerg Schilling

cdrtools by Joerg Schilling (kostenlos)

Thin Gui Wrapper 0.9
Klaus Gotthardt

Hilft beim Erzeugen von Benutzeroberflächen (GUI) für DOS-Programme und Kommandozeilen-Befehle

Andere Software dieser Kategorie

Java-Hamster-Simulator 2.3.2
Dietrich Boles

Programmierkurs anhand eines in Java programmierten virtuellen Hamsters

SpeedJG 2.3
Hermann Wöhrmann

XML-basierter Java-GUI-Builder

AntiCutAndPaste 2.2
ACNP Software

Findet Ähnlichkeiten in Quelltexten von Programmiersprachen oder in reinen Textdokumenten

Lint4j 0.9.1
Stefan Reich

statische Quelltextanalyse für Java, findet Probleme bei Threads, Locking, Performance et cetera

KDiff3 0.9.90
Joachim Eibl

Vergleicht Verzeichnisse und einzelne Dateien, auch zeichenweise