Belum lama ini, sebuah peristiwa penting terjadi: PVS-Studio muncul di Compiler Explorer! Sekarang Anda dapat dengan cepat dan mudah menganalisis kode Anda untuk kesalahan langsung di godbolt.org (Compiler Explorer). Inovasi ini membuka sejumlah besar kemungkinan baru - mulai dari rasa ingin tahu yang memuaskan tentang kemampuan penganalisa hingga kemampuan untuk dengan cepat membagikan hasil tes dengan seorang teman. Cara menggunakan peluang ini akan dibahas dalam artikel ini. Waspadalah - GIF Besar!
Jika Anda ingin langsung ke titik dan menganalisis kode di sini dan sekarang, maka di sini adalah tautan yang benar-benar siap digunakan . Saya sarankan menambahkannya ke bookmark Anda - masih akan berguna;)
Sekarang mari kita bicara tentang segala sesuatu secara berurutan. Compiler Explorer adalah layanan online interaktif untuk menjelajahi kompiler. Di sini Anda dapat menulis kode tepat di situs dan segera melihat apa yang akan dihasilkan oleh kompiler ini atau yang dihasilkan kompilator:
Selain itu, ada serangkaian kemungkinan di situs ini, dan hari ini kami akan mempertimbangkan kemungkinan menganalisis menggunakan PVS-Studio. Untuk melakukan analisis, Anda harus melakukan hal berikut:
- Pergi ke situs web godbolt.org ,
- Pada tab dengan output kompiler, klik "Tambah alat ...",
- Pilih "PVS-Studio" di daftar drop-down.
Anda dapat melihat contoh urutan tindakan dalam animasi di bawah ini:
Selesai! Sekarang, di jendela yang muncul, semua peringatan yang dikeluarkan oleh alat analisa untuk kode Anda akan secara otomatis ditampilkan. Anda dapat menganalisis kode tulisan tangan Anda sendiri dan file sumber yang diunduh secara terpisah. Secara alami, file harus mandiri dan tidak termasuk pada file yang bukan bagian dari perpustakaan standar. Jika tidak, file tidak akan dikompilasi atau diverifikasi.
Saat ini, analisis menggunakan PVS-Studio tersedia di situs untuk semua versi GCC dan Dentang untuk platform x86 dan x64. Kami berencana untuk memperluas kemampuan situs ke kompiler lain yang kami dukung (misalnya, MSVC atau kompiler untuk ARM), jika ada permintaan untuk itu.
Saat ini, hanya diagnostik umum tingkat kesalahan, peringatan, dan catatan yang diaktifkan di situs. Kami sengaja meninggalkan mode lain (Optimasi, 64-bit, Custom, dan MISRA) sehingga hanya peringatan paling penting yang tetap ada di output. Juga, tidak seperti PVS-Studio itu sendiri, Compiler Explorer belum mendukung C # dan Java - kami berencana untuk menjalankan analisis kode dalam bahasa-bahasa ini segera setelah muncul di sana :)
Compiler Explorer memiliki sistem jendela yang sangat cerdas, sehingga Anda dapat memindahkannya atau misalnya, saling tumpang tindih. Jika saat ini Anda tidak tertarik dengan output kompiler, Anda dapat "menyembunyikannya". Seperti ini:
Anda dapat menulis kode secara langsung di jendela Compiler Explorer, atau mengunduh file individual. Untuk melakukan ini, klik "Simpan / Muat" dan pilih "Sistem file" pada tab yang terbuka. Anda juga dapat "mengunduh" kode yang Anda tulis ke komputer dengan menekan Ctrl + S.
Anda tidak dapat menganalisis seluruh proyek di situs - Anda hanya dapat mengunggah file secara terpisah.
Jika Anda ingin melihat output dari program Anda, Anda dapat membuka jendela eksekusi dengan mengklik "Tambahkan baru ... -> Eksekusi saja" di jendela untuk menulis kode (bukan di jendela dengan kompiler). Pada gif di bawah ini Anda dapat melihat hasil pekerjaan laboratorium yang diambil dari halaman kami tentang penggunaan bebas PVS-Studio oleh siswa dan guru .
Ngomong-ngomong, apakah Anda memperhatikan bahwa ketika Anda mengklik tautan ke godbolt, Anda mendapatkan kode pra-tertulis di jendela yang telah diatur sebelumnya? Ya, Anda dapat menghasilkan permalink yang sepenuhnya mempertahankan kondisi halaman pada saat pembuatan! Untuk melakukan ini, Anda perlu mengklik tombol "Bagikan" di sudut kanan atas layar.
Metode ini sangat nyaman untuk berbagi hasil kompilasi / analisis kode Anda dengan teman dan kolega. Sangat nyaman bahwa pihak penerima secara harfiah tidak perlu melakukan apa pun: cukup ikuti tautannya, dan semua yang Anda butuhkan akan segera terbuka di depan mata Anda.
Kami berencana untuk menggunakan kesempatan ini untuk bekerja dengan klien dalam dukungan teknis: sering menggunakan Compiler Explorer sangat mudah untuk mengkompilasi contoh minimal yang dapat direproduksi yang dapat dengan cepat diambil dan dikirim melalui pos.
Juga di tab tarik-turun "Bagikan" ada item untuk membuat tautan Tertanam, yang dengannya Anda dapat menyematkan jendela dengan Compiler Explorer di beberapa situs lain.
Explorer Compiler selalu berisi versi PVS-Studio terbaru, oleh karena itu, setelah setiap rilis kami, semakin banyak kesalahan dapat ditemukan di situs. Namun demikian, penggunaan PVS-Studio di godbolt.org tidak memberikan gambaran lengkap dari kemampuannya, karena PVS-Studio tidak hanya diagnosa, tetapi juga infrastruktur yang dikembangkan:
- Analisis kode dalam bahasa C, C ++, C # dan Java untuk sejumlah platform dan kompiler yang jauh lebih besar;
- Plugin untuk Visual Studio 2010-2019, JetBrains Rider, IntelliJ IDEA;
- Integrasi ke dalam TeamCity, PlatformIO, Azure DevOps, Travis CI, CircleCI, GitLab CI / CD, Jenkins, SonarQube, dll.
- Utilitas pemantauan kompilasi untuk analisis independen dari IDE atau sistem pembangunan;
- Dan masih banyak lagi lainnya.
Pada akhirnya, hanya setelah mengunduh penganalisa Anda akan dapat sepenuhnya menganalisis proyek yang terdiri dari beberapa file. Oleh karena itu, cara terbaik untuk mendapatkan pemahaman yang benar tentang PVS-Studio adalah mengunduh penganalisa dan mencobanya di proyek Anda.
Untuk tetap mendapatkan informasi terbaru, ikuti berita kami. Baca juga blog kami : di sana kami menerbitkan tidak hanya berita dan artikel tentang menemukan bug di proyek nyata, tetapi juga berbagai hal menarik terkait dengan C, C ++, C # dan Java.
Jejaring sosial kami:
- Twitter - @pvsstudio_rus
- Vkontakte - Penganalisa PVS-Studio
- Facebook - @StaticCodeAnalyzer
- Telegram - PVS-Studio rus
Jika Anda ingin berbagi artikel ini dengan audiens yang berbahasa Inggris, silakan gunakan tautan terjemahan: George Gribkov. PVS-Studio sekarang ada di Compiler Explorer! ...