Pertanyaan yang diberi tag «static-analysis»

Menjelaskan perbedaan antara ketatnya bahasa dan paradigma dengan seorang rekan saya, saya akhirnya menyatakan bahwa: Bahasa toleran, seperti bahasa yang dinamis dan ditafsirkan, digunakan terbaik untuk prototipe dan proyek kecil atau aplikasi web berukuran sedang. Saat memilih bahasa dinamis yang elegan seperti Python atau JavaScript dengan Node.js, manfaatnya adalah: Pengembangan …

72 programming-languages  dynamic-typing  language-choice  static-typing  static-analysis 

Kami menggunakan SonarQube untuk menganalisis kode Java kami dan memiliki aturan ini (set ke kritis): Metode publik harus membuang paling banyak satu pengecualian yang diperiksa Menggunakan pengecualian yang diperiksa memaksa pemanggil metode untuk menangani kesalahan, baik dengan menyebarkannya atau dengan menanganinya. Ini membuat pengecualian tersebut sepenuhnya menjadi bagian dari API …

47 java  exceptions  static-analysis 

Saya baru saja membaca beberapa buku putih & contoh dari Microsoft "Roslyn" dan konsepnya tampak sangat menarik. Dari apa yang saya tahu, itu membuka kotak hitam yang merupakan kompiler dan menyediakan antarmuka yang dapat kita gunakan untuk mendapatkan informasi dan metrik tentang kode yang ditulis dalam Visual Studio. Roslyn juga …

37 .net  visual-studio  static-analysis 

Kami memiliki basis kode legacy besar dengan kode buruk yang tidak dapat Anda bayangkan. Kami mendefinisikan beberapa standar kualitas sekarang dan ingin mendapatkan yang dipenuhi dalam basis kode yang sama sekali baru, tetapi juga jika Anda menyentuh kode lawas. Dan kami menegakkan mereka yang menggunakan Sonar (alat penganalisa kode), yang …

28 code-quality  static-analysis  legacy-code 

Saya mendengar tentang analisis Kode Visual Studio tetapi tidak pernah menggunakannya. Saya telah membaca MSDN , tetapi masih belum memahami penggunaan analisis Kode yang sebenarnya. Bukankah itu sama dengan StyleCop? Di suatu tempat, FxCop juga disebutkan. Apa perbedaannya dengan analisis Kode? Apakah saya perlu menggunakan analisis Kode untuk setiap proyek? …

26 c#  .net  code-quality  static-analysis 

Tampak logis bagi saya bahwa seseorang dapat mendefinisikan konteks untuk analisis kode sumber statis yang menyertakan aturan untuk menghasilkan nilai relatif kompleksitas. Saya tahu ini tidak seperti dalam pengertian fisik karena kode sumber tidak memiliki "Energi" tetapi saya bertaruh ada upaya, di leat akademik, untuk menggambar secara paralel. Adakah yang …

19 code-quality  static-analysis 

Mengetik statis dalam bahasa pemrograman dapat membantu untuk menegakkan jaminan tertentu pada waktu kompilasi - tetapi apakah mengetikkan satu-satunya alat untuk pekerjaan ini? Apakah ada cara lain untuk menentukan invarian? Misalnya, bahasa atau lingkungan dapat membantu menegakkan jaminan tentang panjang array, atau tentang hubungan antara input ke suatu fungsi. Saya …

18 programming-languages  static-typing  static-analysis 

Saya telah mempelajari kompleksitas siklomatik (McCabe) dan jangkauan perangkat lunak di universitas baru-baru ini. Hari ini dosen saya mengatakan bahwa tidak ada korelasi antara kedua metrik, tetapi apakah ini benar-benar terjadi? Saya pikir pasti akan ada beberapa korelasi, karena program yang kurang kompleks (dari sedikit yang telah kita lihat) tampaknya …

18 complexity  metrics  static-analysis  code-metrics 

Alat-alat seperti pc-lint atau QAC dapat digunakan untuk melakukan analisis kode statis pada basis kode. Dalam pengalaman saya analisis statis sering menghasilkan sejumlah besar kebisingan, yaitu peringatan pada hal-hal yang bukan bug nyata tetapi entah bagaimana melanggar salah satu aturan dalam aturan yang ditetapkan. Menonaktifkan aturan tertentu (baik untuk kebaikan …

18 code-quality  static-analysis 

Saya bekerja di perusahaan yang mendapat skor 11 pada Tes Joel - setidaknya di atas kertas. Dalam praktiknya, bagaimanapun, tidak ada yang bekerja sebaik yang diharapkan, dan proyek telah di DEFCON 1 selama setengah tahun. Sekarang, sebagian besar teman saya senang jika mereka bisa pulang pukul 6 sore - pada …

17 c  static-analysis 

Saya sudah terbiasa mencari notasi Landau (Big O, Theta ...) dengan tangan saya untuk memastikan mereka seoptimal mungkin, tetapi ketika fungsinya semakin besar dan kompleks, butuh waktu. terlalu banyak waktu untuk melakukannya dengan tangan. itu juga rentan terhadap kesalahan manusia. Saya menghabiskan beberapa waktu pada Codility (latihan coding / algo), …

11 algorithms  complexity  big-o  static-analysis  big-theta 

Saya mulai mengerjakan beberapa proyek C yang sedang digunakan gcc. Saya percaya pilihan ini dibuat karena beberapa alasan: Harus kompilasi silang untuk lengan sangat awal (saya pikir). Kinerja adalah spesifikasi pertama dan terpenting. gcc adalah dan masih merupakan pilihan pertama yang mudah. Saya tidak punya alasan untuk menentang pilihan itu …

8 coding-style  static-analysis  gcc  clang