Bugzilla – Components for JSure
|Select a component to see open bugs in that component:||
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.
|Eclipse||SureLogic Support Account|
|The Eclipse-based JSure tool.|