SkyScalpel: A Swiss Army Knife for JSON Policy in the Cloud