antlr2datalog

antlr2datalog

Ini adalah kerangka kerja untuk menganalisis kode sumber secara statis menggunakan kueri Datalog.

Untuk serangkaian bahasa sumber yang didukung, lihat daftar parser di repositori Grammars-V4. Bahasa -bahasa berikut termasuk di luar kotak: C, C ++, COBOL85, GO, JavaScript, Kotlin, Lua, PHP, Prolog, Python3, Rust, dan Solidity. Dukungan untuk lebih banyak bahasa dapat dengan mudah ditambahkan, baca di bawah ini untuk cara mengaktifkan dukungan untuk bahasa lain.

Kerangka kerja ini bekerja dengan mengubah parsers antlr menjadi front-end datalog. API Parser ANTLR diterjemahkan ke dalam skema datalog dan parser kemudian dipanggil pada kode sumber untuk mengisi direktori "fakta" sesuai dengan skema. Akhirnya, logika analisis berjalan pada fakta dan menghitung hasil analisis. Untuk informasi lebih lanjut, lihat Architecture.md.

Instalasi

• Instal parser yang digunakan:

 ./install-parsers.sh

• Instal Souffle.

• Bangun dan pasang distribusi:

 ./gradlew installDist

Menggunakan

Contoh Python3:

 build/install/antlr2datalog/bin/antlr2datalog -l python3 -i grammars-v4/python/python3/examples/coroutines.py

Contoh Kotlin:

 build/install/antlr2datalog/bin/antlr2datalog -l kotlin -i grammars-v4/kotlin/kotlin-formal/examples/Test.kt

Menambahkan bahasa/parser

1. Masukkan parser Antlr Anda di repositori Maven lokal. Misalnya, untuk memilih dari parsers "Grammars-V4", pasang mereka sebagai berikut:

 git clone https://github.com/antlr/grammars-v4.git
cd grammars-v4
mvn install

2. Edit kelas parserconfiguration untuk menambahkan casing untuk parser.

3. Tambahkan logic/LANGUAGE-logic.dl dengan aturan Datalog untuk bahasa baru.

Lisensi

Untuk lisensi proyek ini, lihat lisensi. Perhatikan bahwa parser ANTLR dapat ditanggung oleh lisensi yang berbeda.