An Introduction to Security API Analysis