Vulnerabilities in Seal Finance software