Code related to NULL analysis