SureLogic Inc, spun off from research done at the School of Computer Science at Carnegie Mellon University, is focused on the aggressive application of program analysis techniques to support developer productivity, software assurance and performance improvement. The company provides Java developers with tools based on software analysis technology that can help them build high quality, high performance applications, enhance developer productivity, and enable specialized software assurance for a range of performance improvements. Their primary projects include: Sierra, a bug management platform for enterprise development teams; JSure, a model-based static analysis tool; and Flashlight Dynamic Analysis, a runtime profiler that identifies threading behavior and access to shared state information.