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	a49b094e0c	[inferbo] Remove unused issue types ... Summary: This diff removes unused issue types, `BUFFER_OVERRUN_R2`, `BUFFER_OVERRUN_T1`, `INTEGER_OVERFLOW_R2`, and `INFERBO_ALLOC_MAY_BE_TAINTED`. Reviewed By: ezgicicek Differential Revision: D22114388 fbshipit-source-id: 88743ce88	5 years ago
Sungkeun Cho	788a600ed9	[inferbo] Add documentation of issues ... Reviewed By: jvillard Differential Revision: D22021568 fbshipit-source-id: 06babaf36	5 years ago