defect-detection

Here are 2 public repositories matching this topic...

NullPath: A static analysis tool for detecting NullPointerException (NPE) issues in Java code, built on the Tai-e framework.

java static-analysis analyzer code-quality npe nullpointerexception defect-detection tai-e

multi-view Cards based Requirement Acquisition and Modelling tool

Add a description, image, and links to the defect-detection topic page so that developers can more easily learn about it.

To associate your repository with the defect-detection topic, visit your repo's landing page and select "manage topics."