static-analysis

5Nhiệt

2Trả lời

Tôi yêu "const". Tôi muốn mọi biến và phương thức mà "phải là const" IS "const". Vấn đề là liệu một biến hay phương thức "phải là const" phụ thuộc vào các phương thức/biến tiếp tục trong cây gọi. Có m

8Nhiệt

1Trả lời

AST cho nhiều tệp nguồn với clang

Tôi đang thực hiện phân tích luồng dữ liệu liên thủ tục với tiếng kêu. Hiện tại tôi đang sử dụng libtooling để phân tích cú pháp các tệp nguồn và gọi cho khách truy cập AST. Câu hỏi đặt ra là làm cách

10Nhiệt

2Trả lời

Làm cách nào để chạy GCC/Clang để phân tích tĩnh? (chỉ cảnh báo)

Nếu không biên dịch mã, tôi muốn GCC hoặc Clang báo cáo cảnh báo. Có thể chạy trình biên dịch để phân tích tĩnh không? Tôi không thể tìm thấy cách vượt qua các cờ cảnh báo trình biên dịch và yêu cầu n

11Nhiệt

2Trả lời

công cụ phát hiện mã trùng lặp chung

Tôi đang tìm một công cụ sao chép mã không phải là ngôn ngữ bất khả tri. Thật dễ dàng để tìm các công cụ sao chép mã ngôn ngữ cụ thể (cho Java, C, PHP, ...), nhưng tôi muốn chạy một số phân tích trùng

6Nhiệt

2Trả lời

Tại sao có thể chuyển nhượng từ một loại cho cùng một nhu cầu kiểm tra?

Tôi đang chạy Mã Analyzer IntelliJ của (IntelliJ 11.1.4) trên một lớp và đang nhận được cảnh báo này: không được kiểm soát công việc: 'java.util.List' thành 'java.util.List' mã nó than phiền về là: Li

7Nhiệt

1Trả lời

pylint False Positive E1101: Instance của 'Popen' không có thành viên 'thăm dò'

pylint đang trở lại rất nhiều dương tính giả cho mô-đun subprocess: E1101:184,7:resetboard: Instance of 'Popen' has no 'poll' member E1101:188,4:resetboard: Instance of 'Popen' has no 'terminate' mem

6Nhiệt

1Trả lời

Phân tích null của Eclipse: Biểu thức loại int cần được chuyển đổi không được kiểm tra để phù hợp với '@Nonnull Integer'

Khi định cấu hình Eclipse 4.2.0 để thực hiện phân tích null (được định cấu hình để sử dụng @javax.annotation.Nonnull v.v.), mã sau sẽ tạo cảnh báo an toàn kiểu Null: các biểu hiện của kiểu int cần đượ

6Nhiệt

1Trả lời

Có tương đương với __attribute __ ((ns_returns_retained)) cho một con trỏ malloc'd không?

Tôi đang tìm kiếm một cái gì đó chú thích như -(SomeStruct *) structFromInternals __attribute__((returns_malloced_ptr)) { SomeStruct *ret = malloc(sizeof(SomeStruct)); //do stuff retur

6Nhiệt

2Trả lời

Cách quét tĩnh tất cả mã C# đối với lỗi đối số định dạng chuỗi

Chúng tôi có hàng ngàn thông điệp nhật ký khác nhau được mã hóa bằng thư viện log4net và các cuộc gọi phương thức định dạng chuỗi. Một vấn đề với điều này là nó chỉ ở thời gian chạy mà chúng tôi gặp l

5Nhiệt

2Trả lời

Phương pháp hồi quy nào phù hợp với các tính năng có giá trị nhị phân và đầu ra liên tục?

Tôi muốn xây dựng mô hình học máy để hồi quy về đầu ra liên tục cho các tính năng có giá trị nhị phân (0,1). kích thước của vấn đề của tôi là khoảng 200. phương pháp nào có vẻ phù hợp với loại vấn đề