➕ A low-level, highly efficient extension to Yul, an intermediate langu...
Ethereum Solidity, Vyper, Yul and StarkNet Cairo language syntaxes
detect hazardous storage writes in Solidity contracts
Precise Attack Synthesis for DeFi Apps