You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sam Blackshear 4ee4ebb42a [hil] don't move any accesses across lock acquisition/release ... Summary: More general version of the fix in D6138749. This diff moves RacerD's lock modeling into a separate module and uses the module in the HIL translation to check when a function has lock/unlock semantics. Reviewed By: jberdine, da319 Differential Revision: D6191886 fbshipit-source-id: 6e1fdc3		7 years ago
..
checkers	[cleanup] rename thread-safety analysis	7 years ago
crashcontext	[checkers] enable biabduction by default + docs and logs improvements	7 years ago
eradicate	Eradicate: model get and remove as nullable for stdlib Map variants	7 years ago
harness	[checkers] make all models and tests use checkers	7 years ago
infer	[bug hash] Attempt for a better hash	7 years ago
lab	[checkers] declare --resource-leak with the other checkers	7 years ago
quandary	[quandary] handle taint propagation in copying of structs/via derefs of pointers to structs	7 years ago
racerd	[hil] don't move any accesses across lock acquisition/release	7 years ago
tracing	[infer][biabduction] remove the bi-abduction based check for uninitialized values	7 years ago
.inferconfig	[checkers] make all models and tests use checkers	7 years ago