Skip to content

GitLab

Closed
Created by Eric Tobias@etobias

Use Null Pointer Analysis

Use annotations for automated IDE Null Pointer Analysis and documents your contracts properly.

Luxembourg Institute of Science and Technology - www.list.lu.