Content
@
0 reply
0 recast
2 reactions
BrieflerLagrange
@eulerlagrange.eth
https://github.com/a16z/halmos Banger toolkit for static analysis for smart contracts. @ncitron.eth is the person responsible for this on fc?
8 replies
7 recasts
34 reactions
BrieflerLagrange
@eulerlagrange.eth
@karma I’m actually an idiot, it’s not static analysis 😅 I’ve been reverse engineering too much lately
0 reply
0 recast
2 reactions
