3 Commits (c70b978aa8ecf8fa8c448a8457a62cb4ef02f6eb)

Author	SHA1	Message	Date
Sungkeun Cho	bd040cf696	[inferbo] Add an issue type for alarms by unknown function call ... Summary: It adds an issue type, `BUFFER_OVERRUN_U5`, for alarms involving unknown values, i.e., when the trace set includes an unknown function call. Reviewed By: mbouaziz Differential Revision: D7178841 fbshipit-source-id: bfe857b	7 years ago
Mehdi Bouaziz	168ce5a6bb	[inferbo] Add alloc size safety condition ... Summary: - Plug model checkers - Add alloc size safety condition on alloc of negative, zero or big size Reviewed By: sblackshear Differential Revision: D6375144 fbshipit-source-id: bbea6f3	7 years ago
Mehdi Bouaziz	eff7bb5bdf	[inferbo] Replace buckets with issue types ... Reviewed By: skcho Differential Revision: D5975948 fbshipit-source-id: 92a7188	8 years ago