Platform static checker added with provider implementation