SureLogic empowers Java developers with powerful tools based on software analysis technology that can help them build high-quality, high-performance applications with confidence. The SureLogic suite is designed to enhance developer productivity, to afford unique levels of specialized software assurance, and to enable a range of performance improvements.

SIERRA – a bug management platform for enterprise development teams

SIERRA helps developers deal with the often overwhelming number of findings produced by popular broad-range source code analysis tools when analyzing large codebases. It also facilitates smooth integration of such tools into team development processes. Read more...

JSure for Concurrency – "Are my threads accessing shared state in a safe way?"

JSure is a model-based static analysis tool that helps developers develop confidence in their multi-threaded code, regardless of scale or complexity. JSure, uniquely, provides positive assurance (sound analysis, not rule-based) that correct locks are held when shared state is accessed. Read more...

Flashlight Dynamic Analysis – Illuminating concurrency issues in running code

When developers are in the dark about why their application is experiencing intermittent failures, poor performance, or data corruption, Flashlight provides visibility. It is a runtime profiler that illuminates threading behavior and access to shared state. Read more...