Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization