Rasanya seperti 'alphafold untuk eksploitasi' harus dimungkinkan: melatih pada pasangan (bytecode, instrumentasi), di mana instrumentasi adalah instrumentasi LLVM pada traversal cabang, mirip dengan fuzzing greybox. Perlakukan pengembangan eksploitasi sebagai masalah prediksi struktur kotak hitam.

kemudian inferensi pada instrumentasi sintetis, di mana instrumentasi tersebut mewakili beberapa status program yang ingin Anda capai.

Ini terdengar menakutkan, tetapi tidak menguntungkan penyerang secara asimetris. pembela akan membangun infrastruktur ini sebelum penyerang dan kekuatannya (jika mirip dengan AlphaFold) akan ditentukan oleh skala komputasi, sesuatu yang akan dimiliki oleh pembela.

Masalah dengan ini dan di mana analogi AlphaFold rusak adalah bahwa lanskap hadiah untuk Exploit Dev sangat jarang dan terputus-putus. Saya akan sangat penasaran untuk melihat bagaimana model seperti ini menggeneralisasi

CC @DARPA

@EmilMieilica juga tidak menulis bytecode yang dapat dieksploitasi, ia memprediksi bytecode untuk status instrumentasi arbitrer