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.
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
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?
Duck und weg