5
Apakah mungkin untuk mengevaluasi keselamatan secara terprogram untuk kode arbitrer?
Saya telah banyak memikirkan akhir-akhir ini tentang kode aman. Aman untuk benang. Memori-aman. Safe-to-to-explode-in-your-face-dengan-segfault aman. Tetapi demi kejelasan dalam pertanyaan, mari kita gunakan model keselamatan Rust sebagai definisi kita. Seringkali, memastikan keamanan adalah sedikit masalah seberapa besar, karena, sebagaimana dibuktikan oleh kebutuhan Rust unsafe, ada beberapa ide pemrograman yang sangat …