Ezgi Çiçek 09ab685c7e [pulse] Handle stack refs escaping their scope via pointer ... Summary: Pulse didn't treat local variables going out of scope as invalidating the corresponding address in memory. This diff fixes that by - marking all local variables that exits the scope with the attribute `AddressOfStackVariable` - before we write the summary for the proc, we make sure to invalidate all such addresses local to the procedure as `Invalid.` If such an address is read, then we would raise a use-after-lifetime issue. Reviewed By: jvillard Differential Revision: D16458355 fbshipit-source-id: 3686524cb		6 years ago
..
c	[pulse] translate initListExpr in more cases	6 years ago
cpp	[pulse] Handle stack refs escaping their scope via pointer	6 years ago
java	[cost][inferbo] Add models for indexOf	6 years ago
objc	[objc] fix test so that it looks like it could compile	6 years ago
objcpp	Extended check on n-th parameter to cpp method calls	6 years ago