4 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Sungkeun Cho	161b3484f9	[cost] Revert subclass lookup heuristics ... Summary: In Cost/Inferbo checkers, it tried to find a subclass with heuristics when a method of interface or abstract class is called. While it makes preciser analysis results in general, sometimes introduced tricky FPs since the behavior of the heuristics depends on targets. This diff revert the heuristics to suppress the FPs. Reviewed By: ngorogiannis Differential Revision: D22924485 fbshipit-source-id: 9f151231f	5 years ago
Sungkeun Cho	2eae5ff88c	[inferbo] Find method of interface or abstract class ... Summary: The heuristics is to find a method in non-abstract sub-classes. See D20647101. Reviewed By: jvillard Differential Revision: D20491461 fbshipit-source-id: 759713ef4	5 years ago