StateMap.ai
@StateMapAI
Visualize state and find more bugs in your smart contracts. Made by @0xMacroSecurity
قد يعجبك
Looking forward to seeing how this printer option to track all external calls works in @StateMapAI
We are giving this power to YOU, web3 buidlrs, via a slick, interactive, visual graph interface 😎
Writing a "function" in Prolog and being able to use it in multiple ways is BONKERS For example: external_call(c1, f1, c2, f2). This returns `true` if f1 in contract c1 makes a call to f2 in c2 (all are id's). But wait, there are THREE MORE USE CASES for external_call! 🤯
solving this rn
Looks like this does include external calls, but it does add a lot of noise that I'll have to filter It also has *a lot* of false positives, e.g. abi.encode, internal library calls (e.g. Address.sendValue) and struct member access all shows up here. Seems like anytime there's a…
One option we're exploring as we build @StateMapAI is automatically calculating all the affected state variables and function call chains for code changes between two commits. I'm imagining this type of feature to make auditing fixes a whole lot easier 🧐
United States الاتجاهات
- 1. Today is Election Day 2,488 posts
- 2. Dick Cheney N/A
- 3. Good Tuesday 21.6K posts
- 4. Cowboys 70.7K posts
- 5. #WeTVAlwaysMore2026 1.25M posts
- 6. Nick Smith 18.5K posts
- 7. Cardinals 31.7K posts
- 8. Kawhi 4,749 posts
- 9. #WWERaw 66.6K posts
- 10. Jerry 46.1K posts
- 11. Jonathan Bailey 39.7K posts
- 12. #Election2025 1,941 posts
- 13. #LakeShow 3,542 posts
- 14. Comey 90.4K posts
- 15. #River 5,000 posts
- 16. Blazers 8,598 posts
- 17. Kyler 8,974 posts
- 18. Logan Paul 11K posts
- 19. Dalex 2,896 posts
- 20. No Luka 3,946 posts
قد يعجبك
-
Gilbert
@0xgib -
ose
@0xOse_ -
curiousapple
@0xcuriousapple -
kitscho.eth
@0xMellonCollie -
⚙️ LearnEVM.com
@LearnEVM -
Cantina 🪐
@cantinaxyz -
Wallfacer
@wallfacerlabs -
Mackenzie MacKenzie 🛠️️
@0xMackenzieM -
Padmïni
@ppyapali -
Adri
@0xadrii -
KoalateeCtrl
@KoalateeCtrl -
HomeDAO 🏴☠️
@homeDAO -
devdatt
@alt_devdatt -
makemake
@makemake_kbo -
cyber
@cyberthirst
Something went wrong.
Something went wrong.