Project Name

NFix : Assessment of various tools on dicovering/repairing Java Null Pointer Exception

Mentors

Quoc-Sang Phan
Xuan-Bach D. Le

Project Summary

This project is supported by Google Summer of Code 2019. NFix aims to collect real world java NPE buggy programs, investigate its behaviour and assess the accuracy of various tools that target at discovering or repairing NPE bugs. NFix contains:

Totally 40 real world java benchmarks.
Source code (SQL code, linux command) to manipulate the data set and tools. (in the src directory)
Experiments with five different analysis tools:
- VFix
- Facebook Infer
- Coveriy Scan
- Spotbugs
- Daikon Invariant Detector and Checker Framework
Observation of the weaknesses of those tools.
Overcoming those weaknesses by using invariant inference and static analysis.

Future Work

Adding assessment to the ability to automatically repair bugs of different tools
Finishing building a novel tool that overcome the drawbacks of existing tools.

About

Being my GSoC 2019 Project

Languages

Language:Java 94.7%Language:Rich Text Format 2.9%Language:HTML 1.4%Language:JavaScript 0.3%Language:GAP 0.3%Language:PostScript 0.2%Language:XSLT 0.1%Language:R 0.1%Language:Scala 0.0%Language:CSS 0.0%Language:Python 0.0%Language:Shell 0.0%Language:MATLAB 0.0%Language:Makefile 0.0%Language:Groovy 0.0%Language:Lex 0.0%Language:TeX 0.0%Language:PLpgSQL 0.0%Language:Ruby 0.0%Language:C 0.0%Language:C++ 0.0%Language:Perl 0.0%