Code duplication demystified

How we detect and report copy-pasta