JSure

http://surelogic.com/jsure.html

특히 동시성 관련 분석을 주로 함.