This work extends the existing bytecode verification algorithm to verify nonnull types using a novel technique that identifies aliasing relationships ...
確定! 回上一頁