JADEx: A New Practical Null-Safety Solution for Java

JADEx (Java Advanced Development Extension) is a safety layer that makes Java safer by adding...