exploring COmpiler OPtimizations Null pointer dereference detection compiler pass Conservative garbage collecter (Safe GC) Spatial and weaker type safety for the C lang