100644 blob b0f025d092d4e99de3a94d979f8d7b2bcf37e949	inline_method_analyser.cc
100644 blob e1d652a6426bc3f679c687fa326c24fc125fbc50	inline_method_analyser.h
100644 blob e7a3817c5635bb55b93d8416d4fc65ddd84310de	verification_results.cc
100644 blob 04c4fa65e6b9e13e4882b542332a54154d40fe4f	verification_results.h
100644 blob 54f216a64dde25a653ef3891b6fc8e1248a481e7	verified_method.cc
100644 blob f04392d44e2f374d9462826aa95f1226ea78c684	verified_method.h