mleku on Nostr: also it's really simple to write a static analyser on the ASTs of parsed code to ...
also it's really simple to write a static analyser on the ASTs of parsed code to identify when there is a path where a vector or interface type (they are related in the way they are dual indirections) may have a zero value and demand a nil guard somewhere between the declaration and usage where it would be panic condition
Published at
2024-11-14 16:11:19Event JSON
{
"id": "b41866a4f6dc499846f41136476808bd17dc2ba386fdaaabfe30197379d165f2",
"pubkey": "4c800257a588a82849d049817c2bdaad984b25a45ad9f6dad66e47d3b47e3b2f",
"created_at": 1731600679,
"kind": 1,
"tags": [
[
"e",
"653cbb2ca17baa0035f29d2fd837927c5ab3ed2c80bb7daceb0f501222c33882",
"wss://nostr.land/",
"root"
],
[
"e",
"653cbb2ca17baa0035f29d2fd837927c5ab3ed2c80bb7daceb0f501222c33882",
"wss://nostr.land/",
"reply"
],
[
"client",
"noStrudel",
"31990:266815e0c9210dfa324c6cba3573b14bee49da4209a9456f9484e5106cd408a5:1686066542546"
]
],
"content": "also it's really simple to write a static analyser on the ASTs of parsed code to identify when there is a path where a vector or interface type (they are related in the way they are dual indirections) may have a zero value and demand a nil guard somewhere between the declaration and usage where it would be panic condition",
"sig": "5f3db58017facd9a4362e1950ffddc5dbf6114546ee57d2ad23467c37012d1cea7cdbd671b942b88288525ae6ad570d80865c7d118e6676fb35ddd967ef26e9f"
}
