Skip to content

GitLab

TULIP
TULIP
Closed
Opened by Eric Tobias@etobias
Report abuse New issue

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.