GitHub repository: Certora/InvalidCalldataPOC
Primary language: JavaScript
Description: A proof of concept for the invalid calldata padding bug