2 ms·
Not OP, but that's exactly what I do - type my public functions fully. I built a basic static program analyzer for Solidity smart contracts over the past 7 mon
by ryanjshaw 3y ago
Not OP, but that's exactly what I do - type my public functions fully.
I built a basic static program analyzer for Solidity smart contracts over the past 7 months. I'm re-writing it to work off CozoDB now, as I want to be able to express more complex mutually-recursive concepts and I believe Datalog is much better suited for that.