DexCheck is solving a billion-dollar problem.