Câu hỏi được gắn thẻ «static-analysis»

Giải thích sự khác biệt giữa sự nghiêm ngặt của ngôn ngữ và mô thức đối với một đồng nghiệp của tôi, cuối cùng tôi đã khẳng định rằng: Các ngôn ngữ khoan dung, như ngôn ngữ động và thông dịch, được sử dụng tốt nhất cho các nguyên mẫu …

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

Chúng tôi sử dụng SonarQube để phân tích mã Java của mình và nó có quy tắc này (được đặt thành quan trọng): Các phương thức công khai nên ném tối đa một ngoại lệ được kiểm tra Sử dụng các ngoại lệ được kiểm tra buộc người gọi phương …

47 java  exceptions  static-analysis 

Tôi mới đọc qua một số sách trắng và ví dụ từ Microsoft "Roslyn" và khái niệm này có vẻ rất thú vị. Từ những gì tôi có thể nói, nó mở ra hộp đen là trình biên dịch và cung cấp một giao diện mà chúng ta có thể …

37 .net  visual-studio  static-analysis 

Chúng tôi có một cơ sở mã di sản lớn với mã xấu mà bạn không thể tưởng tượng được. Bây giờ chúng tôi đã xác định một số tiêu chuẩn chất lượng và muốn hoàn thành những tiêu chuẩn trong cơ sở mã hoàn toàn mới, nhưng cũng nếu …

28 code-quality  static-analysis  legacy-code 

Tôi đã nghe về phân tích Mã của Visual Studio nhưng chưa bao giờ sử dụng. Tôi đã đọc MSDN , nhưng vẫn không hiểu cách sử dụng phân tích Mã thực sự. Nó không giống như StyleCop sao? Ở đâu đó, FxCop cũng được đề cập. Sự khác biệt …

26 c#  .net  code-quality  static-analysis 

Nó có vẻ hợp lý với tôi rằng người ta có thể định nghĩa một bối cảnh để phân tích mã nguồn tĩnh bao gồm các quy tắc để tạo ra một giá trị tương đối phức tạp. Tôi biết nó không giống như theo nghĩa vật lý bởi vì …

19 code-quality  static-analysis 

Gõ tĩnh trong ngôn ngữ lập trình có thể hữu ích cho việc thực thi một số bảo đảm tại thời gian biên dịch - nhưng các loại có phải là công cụ duy nhất cho công việc này không? Có những cách khác để xác định bất biến? Ví …

18 programming-languages  static-typing  static-analysis 

Gần đây tôi đã nghiên cứu độ phức tạp chu kỳ (McCabe) và khả năng tiếp cận của phần mềm tại uni gần đây. Hôm nay giảng viên của tôi nói rằng không có mối tương quan giữa hai số liệu, nhưng đây có thực sự là trường hợp không? …

18 complexity  metrics  static-analysis  code-metrics 

Các công cụ như pc-lint hoặc QAC có thể được sử dụng để thực hiện phân tích mã tĩnh trên cơ sở mã. Theo kinh nghiệm của tôi, phân tích tĩnh thường mang lại một lượng nhiễu lớn, tức là cảnh báo về những thứ không phải là lỗi thực …

18 code-quality  static-analysis 

Tôi đang làm việc tại một công ty sẽ đạt điểm 11 trong bài kiểm tra Joel - ít nhất là trên giấy tờ. Tuy nhiên, trên thực tế, không có gì hoạt động tốt như mong đợi, và dự án đã có mặt trên DEFCON 1 được nửa năm. …

17 c  static-analysis 

Tôi đã từng tìm kiếm ký hiệu Landau (Big O, Theta ...) bằng tay để đảm bảo chúng được tối ưu hóa nhất có thể, nhưng khi các chức năng đang trở nên rất lớn và phức tạp, nó sẽ diễn ra quá nhiều thời gian để làm điều đó …

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

Tôi bắt đầu làm việc trên một số dự án C đang xây dựng bằng cách sử dụng gcc. Tôi tin rằng sự lựa chọn này được thực hiện vì nhiều lý do: Phải biên dịch chéo cho cánh tay từ rất sớm (tôi nghĩ). Hiệu suất là thông số …

8 coding-style  static-analysis  gcc  clang 

Tôi đã thừa hưởng một số mã Java mà tôi nghi ngờ có một số lỗi đồng thời khi đồng bộ hóa giữa một luồng truy vấn dữ liệu và một sự kiện IO cập nhật cùng một dữ liệu. Tôi đang thử nghiệm một công cụ phân tích tĩnh …

8 multithreading  debugging  static-analysis 

Các câu trả lời đầu tiên để một, thời gian gần đây hoạt động cũ câu hỏi liên quan đến một đoạn video mà nói về cách kho Google được thực hiện. Một điều thú vị đã được đề cập là thực tế là mọi thứ đều được xây dựng …

8 continuous-integration  ide  static-analysis  build-system