 
                            ...
The following table summarizes the examples flagged as violations by SureLogic tools Flashlight:
| Noncompliant Code Example | FlashLight | Message | JSureFlagged | Message | 
|---|---|---|---|---|
| non-static lock object for  | No | No obvious issues | ||
| method synchronization for  | No | No obvious issues | 
The following table summarizes the examples flagged as violations by SureLogic JSure:
| Noncompliant Code Example | Flagged | Message | ||
|---|---|---|---|---|
| non-static lock object for  | Yes | modeling problem: static region "counter" should be protected by a static field | ||
| method synchronization for  | No | No obvious issues | Yes | modeling problem: static region "counter" should be protected by a static field | 
...