3 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Sungkeun Cho	124ab9fed7	[inferbo] Downgrade issues of void pointer ... Summary: It downgrades issues of void pointer to L5, because of its impreciseness. This is not ideal but Inferbo cannot analyze arrays pointed by void pointers precisely at the moment. Reviewed By: jvillard Differential Revision: D16379911 fbshipit-source-id: f2c016aba	6 years ago