John TomaninCertoraOverly Optimistic Optimizer — Certora Bug DisclosureJohn Toman, VP of R&D at Certora, discovered a previously unknown optimization bug in the Solidity compiler (version 8.14 and lower). This…Jun 15, 2022Jun 15, 2022
John TomaninCertoraIncorrect Calldata Validation in Inter-Contract Communication — Certora Bug DisclosureJohn Toman, VP of R&D at Certora, discovered a previously unknown code generation bug in the Solidity compiler (version 8.13 and lower)…Apr 12, 2022Apr 12, 2022