The only one odd here for me is the ban on de-referencing more than one level. Even a simple linked list implementation uses double pointers to reset parent no

The only one odd here for me is the ban on de-referencing more than one level. Even a simple linked list implementation uses double pointers to reset parent nodes.. Does anyone have insight into the risk in static analysis? Seems like it would be handled by whatever logic was handling normal pointer derefs. Seems like the only argument is the one against function pointers, which is a pretty amazing thing to ban but at least provides logic WRT static analysis.