If you're doing security research on DeFi protocols, these queries are worth running.
1.Solady's DynamicArrayLib
Assembly-level dynamic array operations that bypass Solidity's built-in safety checks. Worth examining how each integration handles bounds and memory.
https://t.co/s7fzeSjGQs
2.PRBMath
Fixed-point arithmetic where rounding behavior compounds across integrations. Precision edge cases under extreme values are worth tracing per protocol.
https://t.co/Z7fwBSV0ij
3.UniswapV3 TickMath
Tick-to-price conversion math where the direction of rounding has real consequences. Protocols that inherit this without auditing the assumptions may carry unexpected behavior.
https://t.co/lq102qCKBz
Each query surfaces every mainnet contract using that library.