ボローチェッカーはリソースの所有権とライフタイムの両方を静的に解析することで、ヌルポインタや不正なメモリ域を指すポインター、リソース利用競合を制限したメモリセーフを実現している.
メモリセーフ