infer_clone

Commit Graph

Author	SHA1	Message	Date
Peter O'Hearn	11937cb076	[infer][threadsafety] model tryLock() for java.util.concurrent.locks.Lock Summary: we were just missing this model, adding it Reviewed By: sblackshear Differential Revision: D4701435 fbshipit-source-id: 9718305	8 years ago
Sam Blackshear	d39d4cfa20	[thread-safety] use jsr-305 versions of ThreadSafe/NotThreadSafe rather than defining custom annotations Summary: Just cleanup; gives us slightly less test code to maintain. Reviewed By: jeremydubreil Differential Revision: D4429265 fbshipit-source-id: d43c308	8 years ago
Sam Blackshear	c1205c1453	[thread-safety] model ReadLock/WriteLock Summary: `ReentrantReadWriteLock.ReadLock` and `ReentrantReadWriteLock.WriteLock` are commonly used lock types that were not previously modeled. Reviewed By: peterogithub Differential Revision: D4262032 fbshipit-source-id: 4ff81a7	8 years ago

Author

SHA1

Message

Date

Peter O'Hearn

11937cb076

[infer][threadsafety] model tryLock() for java.util.concurrent.locks.Lock

Summary: we were just missing this model, adding it

Reviewed By: sblackshear

Differential Revision: D4701435

fbshipit-source-id: 9718305

Sam Blackshear

d39d4cfa20

[thread-safety] use jsr-305 versions of ThreadSafe/NotThreadSafe rather than defining custom annotations

Summary: Just cleanup; gives us slightly less test code to maintain.

Reviewed By: jeremydubreil

Differential Revision: D4429265

fbshipit-source-id: d43c308

Sam Blackshear

c1205c1453

[thread-safety] model ReadLock/WriteLock

Summary: `ReentrantReadWriteLock.ReadLock` and `ReentrantReadWriteLock.WriteLock` are commonly used lock types that were not previously modeled.

Reviewed By: peterogithub

Differential Revision: D4262032

fbshipit-source-id: 4ff81a7

3 Commits (12adbb372a80187e5954d64044d1deb9cb84785b)