Contemplate's product ThreadSafe is a commercial source code analysis tool that identifies application risks and security vulnerabilities associated with concurrency in enterprise-scale Java code bases, using whole-program interprocedural analysis. ThreadSafe is used by major investment banks to identify and avoid software failures in concurrent applications running in complex environments.