Login
Newsletter
Werbung

Thema: seL4-Mikrokernel im Quellcode veröffentlicht

3 Kommentar(e) || Alle anzeigen ||  RSS
Kommentare von Lesern spiegeln nicht unbedingt die Meinung der Redaktion wider.
1
Von 5 Minuten am Di, 29. Juli 2014 um 16:06 #

Mit dem Begriff 'bugfrei' hausiern zu gehen ist mutig. Ebenso die abgeechwächte Form, das es keinen der verbreiteten Entwurfsfehler (Speicherüberläufe, Zeigerfehler und Speicherlecks) enthält.

Gucken wir doch mal

https://github.com/seL4/seL4/blob/master/src/kernel/thread.c

Suche nach lookupIPCBuffer und vergleiche wo geprüft und wo nicht geprüpft wird, dass das NULL sein kann. Nullpointer-deref?

[
| Versenden | Drucken ]
  • 0
    Von Bolitho am Di, 29. Juli 2014 um 16:58 #


    https://github.com/seL4/seL4/blob/master/src/kernel/thread.c

    Suche nach lookupIPCBuffer und vergleiche wo geprüft und wo nicht geprüpft wird, dass das NULL sein kann. Nullpointer-deref?

    Meinst Du den Rückgabewert? An einer Stelle wird der unmittelbar geprüft, bei den beiden anderen Calls wird der Wert munter durchgereicht. Evtl. akzeptieren die Funktionen ja Null-Werte oder dort wird intern auf NULL geprüft... oder Du hast halt Recht ;-)

    [
    | Versenden | Drucken ]
0
Von olaf am Di, 29. Juli 2014 um 20:44 #

Duck und weg :)

[
| Versenden | Drucken ]
Pro-Linux
Pro-Linux @Facebook
Neue Nachrichten
Werbung