abstract-interpretation

6 posts

Abstract interpretation terdengar seperti persyaratan PhD. Sekarang tidak lagi.

Cara menjalankan analisis statis formal di pipeline CI menggunakan Infer, dengan konfigurasi yang berfungsi dan trade-off yang realistis.

Abstract interpretation adalah istilah yang membuat insinyur menutup tab. Terdengar seperti sesuatu yang membutuhkan satu semester teori kisi untuk dipahami.…

8 Agustus 2026

abstract-interpretation llm static-analysis false-positives

LLM Dapat Mengurutkan Peringatan Analisis Statis Anda. Mereka Hanya Tidak Dapat Menjelaskan Mengapa.

Large language model dapat membantu triase positif palsu analisis statis, tetapi mereka tidak memahami semantik program seperti abstract interpretation. Berikut cara menggabungkan keduanya.

Static analyzer Anda baru saja mengeluarkan 847 peringatan pada hari Jumat sore. Anda tahu, secara statistik, bahwa di suatu tempat antara 5% dan 15% dari…

7 Agustus 2026

abstract-interpretation concurrency android race-conditions

Facebook Memparalelkan Android dengan Abstract Interpretation. Begini Cara Kerjanya.

Bagaimana Facebook menggunakan abstract interpretation dan unsoundness yang disengaja untuk menemukan race condition secara masif pada jutaan baris kode Android.

Aplikasi Android Facebook memiliki masalah performa. Thread UI tenggelam dalam pekerjaan, tetapi memindahkan kode ke thread latar belakang berarti race…

6 Agustus 2026

abstract-interpretation static-analysis meta infer

Meta Menemukan 100.000 Bug di Kode Produksi dengan Static Analyzer yang Tidak Pernah Menjalankan Program

Infer dari Meta menggunakan abstract interpretation dan bi-abduction untuk menemukan null dereference, memory leak, dan race condition dengan menalar struktur kode, bukan eksekusinya. Berikut cara kerjanya dan cara menggunakannya di codebase Anda sendiri.

Meta telah mengirimkan lebih dari 100.000 perbaikan bug yang tertangkap oleh static analyzer sebelum kode tersebut sampai ke pengguna. Tool tersebut bernama…

5 Agustus 2026

abstract-interpretation static-analysis safety-critical aviation

Analisis Statis Tidak Bisa Membuktikan Pesawat Anda Tidak Akan Jatuh. Ia Bisa Membuktikan Sesuatu yang Lebih Berguna.

Interpretasi abstrak melebihi-aproksimasi setiap kemungkinan keadaan program. Jika pembagian dengan nol tidak terjangkau dalam abstraksi, maka ia tidak terjangkau dalam kode nyata. Berikut cara kerjanya dan di mana ia mengalami kegagalan.

Analisis statis tidak dapat membuktikan bahwa sebuah pesawat tidak akan jatuh. Ia dapat membuktikan bahwa loop kontrol altimeter Anda tidak akan pernah membagi…

4 Agustus 2026

abstract-interpretation static-analysis runtime-errors verification

Cara membuktikan kode Anda bebas dari kesalahan runtime (dan mengapa Anda mungkin akan menyerah mencoba)

Interpretasi abstrak memungkinkan Anda membuktikan kesalahan runtime mustahil terjadi sebelum eksekusi. Berikut cara kerjanya secara nyata, mengapa hal itu sulit, dan di mana ia cocok dalam rantau alat Anda.

Test suite Anda lolos. Pemeriksa tipe Anda hijau. Anda rilis. Dua jam kemudian, produksi melemparkan pada kasus tepi yang tidak terpikirkan untuk diuji.…

3 Agustus 2026