Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics