infer_clone

Commit Graph

Author	SHA1	Message	Date
Daiva Naudziuniene	093a00af9b	[ThreadSafety] Do not report for c++ classes that do not have mutex member. Reviewed By: jberdine Differential Revision: D5182255 fbshipit-source-id: f954337	8 years ago
Daiva Naudziuniene	f4b9bb3e3b	[ThreadSafety] Do not report unprotected writes for c++. Reviewed By: jberdine Differential Revision: D5172030 fbshipit-source-id: 945acba	8 years ago
Josh Berdine	bf504c5b70	Minimal thread safety analysis for C++ Summary: This is a minimal change to (poorly) recognize and model std::mutex lock and unlock methods, and to surface all thread safety issues for C++ based on the computed summaries with no filtering. This ignores much of the Java analysis, including everything about the Threads domain. The S/N is comically low at this point. Reviewed By: sblackshear Differential Revision: D5120485 fbshipit-source-id: 0f08caa	8 years ago

Author

SHA1

Message

Date

Daiva Naudziuniene

093a00af9b

[ThreadSafety] Do not report for c++ classes that do not have mutex member.

Reviewed By: jberdine

Differential Revision: D5182255

fbshipit-source-id: f954337

Daiva Naudziuniene

f4b9bb3e3b

[ThreadSafety] Do not report unprotected writes for c++.

Reviewed By: jberdine

Differential Revision: D5172030

fbshipit-source-id: 945acba

Josh Berdine

bf504c5b70

Minimal thread safety analysis for C++

Summary:
This is a minimal change to (poorly) recognize and model std::mutex
lock and unlock methods, and to surface all thread safety issues for
C++ based on the computed summaries with no filtering.

This ignores much of the Java analysis, including everything about the
Threads domain.  The S/N is comically low at this point.

Reviewed By: sblackshear

Differential Revision: D5120485

fbshipit-source-id: 0f08caa

3 Commits (8757210813098f76afabc68dd2eb6bb4a8428a94)