infer_clone

Author	SHA1	Message	Date
Jules Villard	8b882ac1df	Change license to MIT Summary: Change the license of the source code from BSD + PATENTS to MIT. Change `checkCopyright` to reflect the new license and learn some new file types. Generated with: ``` git grep BSD \| xargs -n 1 ./scripts/checkCopyright -i ``` Reviewed By: jeremydubreil, mbouaziz, jberdine Differential Revision: D8071249 fbshipit-source-id: 97ca23a	7 years ago
Mehdi Bouaziz	eff7bb5bdf	[inferbo] Replace buckets with issue types Reviewed By: skcho Differential Revision: D5975948 fbshipit-source-id: 92a7188	7 years ago
Mehdi Bouaziz	ec7b096ff6	[inferbo] Add warnings and errors for unreachable code Summary: Warnings for conditions always true/false Errors for other unreachable statements (should help debugging inferbo) Reviewed By: sblackshear Differential Revision: D5047883 fbshipit-source-id: 65a78ca	8 years ago
Mehdi Bouaziz	f521e5fbc0	[inferbo] Models for exit, fgetc Summary: - model `exit` as `Bottom` - model `fgetc` as returning `[-1; 255]` rather than `[-1; +oo]` - reduced the number of model functions for simple models Reviewed By: KihongHeo Differential Revision: D5137485 fbshipit-source-id: 943eeeb	8 years ago