Fix correctness bugs: NULL symbol deref, register-buffer overflow, memory-range calculation - #1

Fix correctness bugs: NULL symbol deref, register-buffer overflow, memory-range calculation#1

HeavenlyDevv wants to merge 1 commit into

ManyCoreResearchTeam:extensionsManyCoreResearchTeam/SOFIA:extensionsfrom

HeavenlyDevv:fix/correctness-null-guards-bounds-memrangeHeavenlyDevv/SOFIA-1:fix/correctness-null-guards-bounds-memrangeCopy head branch name to clipboard