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.

Sungkeun Cho 9b1001eda2 [litho] Make analysis null return aware ... Summary: This diff avoids that null-retuned path's abstract value ruins that of non-null-returned path. What this diff does is: when joining two abstract states, one is null-return-path and the other is non-null-return-path (`return obj;`), it keeps the method calls of `obj` from the non-null-return-path. While this design is unsound, I think it should work in practice. Reviewed By: ezgicicek Differential Revision: D19348313 fbshipit-source-id: cf5d0f3ff		5 years ago
..
c	[pdesc] new pre-analysis to diverge after "noreturn" function calls	5 years ago
cpp	[infer] Capture global initializer ondemand	5 years ago
java	[litho] Make analysis null return aware	5 years ago
objc	[frontend] Do not die when selector is unknown in objc boxed expr	5 years ago
objcpp	Update CK fixtures	5 years ago