100644 blob b0f025d092d4e99de3a94d979f8d7b2bcf37e949	inline_method_analyser.cc
100644 blob e1d652a6426bc3f679c687fa326c24fc125fbc50	inline_method_analyser.h
100644 blob 6241ff3c6c0a7cc7055abbd1a1c1155eca0ccc2e	verification_results.cc
100644 blob 04c4fa65e6b9e13e4882b542332a54154d40fe4f	verification_results.h
100644 blob 04f7215015438f69a46d18258b451cbbcf855c6f	verified_method.cc
100644 blob f100f78fb0c1dfb6a07d006ba6d7e2a2f5ab3a23	verified_method.h