Skip to main content

Features

Currently, Keshmesh detects the following bug patterns and provides automated fixers for the ones marked below:

  1. LCK01-J. Do not synchronize on objects that may be reused (detector)
  2. LCK02-J. Do not synchronize on the class object returned by getClass() (detector and fixer)
  3. LCK03-J. Do not synchronize on the intrinsic locks of high-level concurrency objects (detector and fixer)
  4. LCK06-J. Do not use an instance lock to protect shared static data (detector)
  5. VNA00-J. Ensure visibility when accessing shared primitive variables (detector)