it's a eclipse plugin project which detect bugs in source code