infer_clone

Author	SHA1	Message	Date
Sam Blackshear	8c5b15f65b	[thread-safety] report more warnings by inferring when state is accessed by methods marked `@ThreadSafe` and other methods. Summary: If two public methods touch the same state and only one is marked `ThreadSafe`, it's reasonable to report unsafe accesses on both of them. Reviewed By: peterogithub Differential Revision: D4785038 fbshipit-source-id: 5a80da4	8 years ago
Sam Blackshear	a5ee1f155c	[thread-safety] tests for thread-safe methods Summary: No new functionality here; mostly `FN_` tests documenting our current limitations. Will start chipping away at the false negatives in follow-up diffs. Reviewed By: peterogithub Differential Revision: D4780013 fbshipit-source-id: 7a0c821	8 years ago

Author

SHA1

Message

Date

Sam Blackshear

[thread-safety] report more warnings by inferring when state is accessed by methods marked `@ThreadSafe` and other methods.

Summary: If two public methods touch the same state and only one is marked `ThreadSafe`, it's reasonable to report unsafe accesses on both of them.

Reviewed By: peterogithub

Differential Revision: D4785038

fbshipit-source-id: 5a80da4

Sam Blackshear

a5ee1f155c

[thread-safety] tests for thread-safe methods

Summary:
No new functionality here; mostly `FN_` tests documenting our current limitations.
Will start chipping away at the false negatives in follow-up diffs.

Reviewed By: peterogithub

Differential Revision: D4780013

fbshipit-source-id: 7a0c821

2 Commits (62e43640857ccea18de0cff8021ae4ffc77928af)