Hallo,
nur einmal so an all die Programmierer die das mit den Datentypen nicht so ernst nehmen.
Danke für den Hinweis!
Hab' direkt erst einmal WAP-Push abgeschaltet.
Für C-Programmierer müsste man mal ein Programm schreiben, das sowas überprüft. Ich würde es "lint" nennen.
Für C-Programmierer müsste man mal ein Programm schreiben, das sowas überprüft.
Man wird davon ausgehen können, daß der Kram nicht in C geschrieben ist. Die im Artikel erwähnte NegativeArraySizeException ist etwas, was es in Java gibt ...
Neuzeitlichere Compiler wie z.B. Clang/llvm haben eine deutlich bessere Quelltextprüfung, die lint nicht mehr unbedingt erforderlich machen.
ist etwas, was es in Java gibt
und die engine für Java ist in C geschrieben.
Neuzeitlichere Compiler wie z.B. Clang/llvm haben eine deutlich bessere Quelltextprüfung,
Sowas lässt sich leicht schreiben, wenn man noch nie lint verwendet hat (Unterstellung). Lint kann so richtig nerven, bis jetzt ist mir das noch nicht bei C-Compilern untergekommen.
Norbert schrieb:
Hab' direkt erst einmal WAP-Push abgeschaltet.
Wie macht man das?
Hab's in den c't Kommentaren gefunden. Nachrichten(Messenger) · Einstellungen · weitere Einstellungen · WAP-Push Aus
Hab's in den c't Kommentaren gefunden. Nachrichten(Messenger) · Einstellungen · weitere Einstellungen · WAP-Push Aus
Danke, ich habe es auch schon gefunden.
und die engine für Java ist in C geschrieben
Hier ist eher das Problem, dass Java keine unsigned integer Typen kennt.
Der Array-Konstruktor kriegt deshalb seine Längenangabe "signed" und muss sich zur Laufzeit mit einer Exception gegen negative Array-Längen wehren.
in C erwartet malloc ein (unsigned) size_t, negative Angaben sind also nicht möglich.
Macht es aber nicht besser, das ungeprüft übernommene Lägenfeld aus der WAP-Message wäre dann ein Out-of-Memory Fehler zur Laufzeit, wenn nicht behandelt mit demselben Resultat wie in Java.
Hier ist eher das Problem, dass Java keine unsigned integer Typen kennt.
Angeblich ist Java typsicher. C ist es nicht, das ist aber auch nix neues.
Sowohl Java als auch C sind stark typisierte Sprachen. Die Typen werden natürlich auch geprüft. Nur hat man hier halt einen expliziten Typcast gemacht. In Rust wäre etwas vergleichbares vermutlich, das "unsafe" Keyword zu nutzen. Irgend ein zusätzlicher Linter wäre hier auch nutzlos. Ein Linter ist eher was für dynamisch typisierte Sprachen.