I don't think they're doing anything unethical by not releasing their source code, but the state of the art sure could progress a hell of a lot faster if releas

I don't think they're doing anything unethical by not releasing their source code, but the state of the art sure could progress a hell of a lot faster if releasing code were the norm. Just look at all the papers that have built on KLEE since it was open-sourced.