| 9 Nov 2023 |
 rpm | Also there is no box with foundry | 07:06:17 |
| rpm | That's the point | 07:06:20 |
| rpm | Fuzzing is also probably a waste | 07:06:43 |
| rpm | I'm 50/50 cuz I came up in the air where fuzzing could actually get you root | 07:06:53 |
| rpm | But for most people pushing ERC 20 clones fuzzing is not really worth it | 07:07:20 |
| rpm | You have to tune it and babysit it | 07:07:26 |
| rpm | Reentrance stuff, worth it for solidity devs | 07:08:00 |
| rpm | Slither | 07:08:05 |
| rpm | Also this probably not a great channel to show your wares | 07:08:24 |
| rpm | I'd bark up a tree like any well-funded series B startup | 07:08:32 |
 🍠 kbrav | i like FV, it's very snazzy | 07:08:37 |
| rpm | * Also this probably not a great channel to shill your wares | 07:08:44 |
| rpm | * I'd bark up a tree like any well-funded series B startup discord | 07:08:54 |
| rpm | * I'd bark up a tree like any well-funded series B startup discord, or an L2 discord | 07:09:05 |
| rpm | What's FV | 07:09:18 |
| 🍠 kbrav | formal verification | 07:09:26 |
| rpm | Oh know | 07:09:34 |
| rpm | Z3? | 07:09:37 |
| rpm | * Oh no | 07:09:43 |
| 🍠 kbrav | i used certora for a bit and was impressed. couldn't get kontrol to work, maybe someday | 07:10:23 |
| rpm | Oh, in a fuzzing context? | 07:11:07 |
| rpm | If you're codebase is big enough and you have good tooling, sure | 07:11:35 |
| rpm | In reply to @kbrav:matrix.org
i used certora for a bit and was impressed. couldn't get kontrol to work, maybe someday What were the inputs in time, and outputs in bugs ? | 07:14:49 |
| 🍠 kbrav | we caught this https://github.com/ricobank/gemfab/pull/95 with certora | 07:15:49 |
| 🍠 kbrav | there was one other in core that idk if i can really count because i already suspected it but it was cool to see that it caught it | 07:17:19 |
| 🍠 kbrav | not much time, idk maybe a week or two to learn. decided it wasn't appropriate to use in medium term though because it's closed source | 07:18:55 |
| 🍠 kbrav | also like you suggested a lot of these more heavy duty tools need some level of babysitting and when you're rapidly changing stuff it doesn't make much sense to sink too much effort into it | 07:42:38 |
 hacker-dom - lnk.bio/hacker-dom | In reply to @kbrav:matrix.org
also like you suggested a lot of these more heavy duty tools need some level of babysitting and when you're rapidly changing stuff it doesn't make much sense to sink too much effort into it it's about abstraction / encapsulation, you can fuzz continuously if you divide the project well | 07:50:23 |
 🎱 dmfxyz | In reply to @kbrav:matrix.org
i like FV, it's very snazzy agree | 10:38:47 |
| 16 Nov 2023 |
|  Bingo joined the room. | 06:07:38 |
