You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard a79096efa8 [siof] generic model of std::ios_base::Init that prevents SIOF ... Summary: Enrich the domain of SIOF to contain, as well as the globals needed by a procedure, the globals that the procedure initializes. Also add the possibility to model some procedures as initializing some variables. Use that mechanism to teach the checker about `std::ios_base::Init`. Reviewed By: mbouaziz Differential Revision: D4588284 fbshipit-source-id: d72fc87		8 years ago
..
const.cpp	[SIOF] detect which variables need initialization	8 years ago
const_use.cpp	[SIOF] detect which variables need initialization	8 years ago
pod_across_translation_units-1.cpp	[siof] add fancy interprocedural reporting	8 years ago
pod_across_translation_units-2.cpp	[SIOF] detect which variables need initialization	8 years ago
pod_same_translation_unit.cpp	[tests] include clang.make a bit later to fix compile target	8 years ago
siof.cpp	[siof] add --siof-safe-methods whitelisting option	8 years ago
siof_different_tu.cpp	[siof] add --siof-safe-methods whitelisting option	8 years ago
siof_templated.cpp	[siof] take POD into account	8 years ago
siof_types.h	[siof] add --siof-safe-methods whitelisting option	8 years ago
std_ios_base_init.cpp	[siof] generic model of std::ios_base::Init that prevents SIOF	8 years ago