Mehdi Bouaziz 1a117d7e09 Fix unique_ptr model ... Summary: Our model of unique_ptr and shared_ptr relied on the fact that we could C-style cast a pointer to the internal pointer type used in the smart pointer. This is wrong when the smart pointer is used with a custom deleter that declares its own pointer type whose is not constructible from just a single pointer. Reviewed By: dulmarod Differential Revision: D6496203 fbshipit-source-id: 1305137		7 years ago
..
c	[checkers] make all models and tests use checkers	7 years ago
cpp	Fix unique_ptr model	7 years ago
java	[infer][java] add model for ImmutableList$Builder.add which crashes when given a null value	7 years ago
objc	[memory leaks] Adding model for CVPixelBufferRelease	7 years ago
Makefile	[models] avoid race conditions when building and installing the models	8 years ago
models-config.make	[make] kill PATH hack	8 years ago