If a library is provided for developers to express the cloud stuff (including custom types), then I believe zero or close to zero static analysis will be needed.