Record Vulnerabilities of FramaC