Known Vulnerabilities in B Testimonial