Experimental browser for the Atmosphere
IIRC there are also fancier ones called CFA1 and CFA2. All of these are conservative, so they guarantee that, for every indirect call site, the called function will be a member of the set the algorithm produces.
May 6, 2025, 5:59 PM
{ "uri": "at://did:plc:g4kfvq6qttlpqiwfzmz2o73c/app.bsky.feed.post/3lojhkxnxm22c", "cid": "bafyreig3nz5omaac2y5k5b7643wbwmsynhysryzozdhl4kxzebufb6koaa", "value": { "text": "IIRC there are also fancier ones called CFA1 and CFA2. All of these are conservative, so they guarantee that, for every indirect call site, the called function will be a member of the set the algorithm produces.", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreidejbdn6nrlbh6kduwokic7h3yb6copz7sxlqacjogafc4ioxnj3a", "uri": "at://did:plc:g4kfvq6qttlpqiwfzmz2o73c/app.bsky.feed.post/3loahmate5s2a" }, "parent": { "cid": "bafyreicscpbn3kvhbdvlbnfkmbfnai7uyevhdjai2wbbqqei5rqm5akrpa", "uri": "at://did:plc:g4kfvq6qttlpqiwfzmz2o73c/app.bsky.feed.post/3lojhewxy3c2c" } }, "createdAt": "2025-05-06T17:59:47.560Z" } }