Select a component to see open bugs in that component:

JSure

JSure is a model-based static analysis tool that helps developers gain 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.

Components

  Default Assignee
Eclipse SureLogic Support Account
The Eclipse-based JSure tool.