At DePaul University has done some work on automated theorem provers to detect null-pointer exceptions in Java code.

• 已经在自动化定理方面做了一些工作,在Java代码中侦测出空指针异常。