A Java implementation of the mcheck (c++) repository.