static-analysis

5Nhiệt

2Trả lời

Có cách nào để thực hiện Xây dựng và phân tích như trong Xcode sử dụng xcodebuild không? Tôi đang sử dụng Xcode 3.2.2

43Nhiệt

3Trả lời

Có một công cụ phân tích tĩnh như Lint hay Perl :: Critic cho shell script không?

Có trình kiểm tra shell (cụ thể bash hoặc ksh) nào kiểm tra các kịch bản lệnh shell cho kiểu dáng, thực tiễn tốt nhất, quy ước đặt tên, v.v. không? (Một cái gì đó giống như Lint cho C, hoặc Perl :: Cr

18Nhiệt

4Trả lời

Làm thế nào để sử dụng tùy chọn bộ lọc triệt tiêu nội dòng của cppcheck cho mã C++?

Tôi muốn sử dụng Cppcheck để phân tích mã tĩnh của mã C++ của tôi. Tôi đã học được rằng tôi có thể ngăn chặn một số cảnh báo với lệnh --inline-suppr. Tuy nhiên, tôi không thể tìm thấy cái gì "suppress

29Nhiệt

1Trả lời

Công cụ để tạo biểu đồ phụ thuộc chức năng Haskell (luồng điều khiển)?

Lưu ý không phải "phụ thuộc chức năng". Có các công cụ có sẵn cho phép tôi xây dựng một đồ thị phụ thuộc hàm tĩnh từ mã nguồn không? Một cái gì đó mà chỉ cho tôi những chức năng phụ thuộc vào những ng

11Nhiệt

2Trả lời

Khi nào các biến const tĩnh toàn cầu được khởi tạo?

tôi đã cố gắng để tìm kiếm trang web cho câu hỏi này nhưng không tìm thấy điều này một cách chính xác, mặc dù vấn đề này đã được thảo luận rất nhiều ... Tôi có tuyên bố này trong một tập tin cpp, khôn

11Nhiệt

1Trả lời

Sử dụng hợp đồng .ForAll trong các hợp đồng mã số

OK, tôi có thêm một câu hỏi về Hợp đồng mã khác. Tôi có một hợp đồng trên một phương pháp giao diện trông giống như thế này (phương pháp khác bỏ qua cho rõ ràng): [ContractClassFor(typeof(IUnboundTagG

7Nhiệt

3Trả lời

Các phương pháp miễn phí có hiệu lực phụ trong Thư viện chuẩn Java

Tôi đang làm việc trên một phân tích cho các chương trình Java yêu cầu thông tin có hiệu lực phụ về các cuộc gọi phương thức. Đối với các lớp thư viện chuẩn, tôi muốn biên dịch một danh sách các phươn

7Nhiệt

4Trả lời

Câu lệnh chuẩn bị sẵn sàng ngăn SQL-Injection ở đây

Mã bên dưới là từ SAMATE Reference Dataset. Tôi đã sử dụng nó để kiểm tra một công cụ phân tích tĩnh. Như bạn có thể thấy mã nên ngăn chặn SQL-Injection cả bằng cách sử dụng một phương pháp vệ sinh cũ

11Nhiệt

2Trả lời

Hợp đồng mã: Tại sao một số bất biến không được xem xét bên ngoài lớp học?

Xem xét loại bất biến này: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(P

10Nhiệt

1Trả lời

Phân tích mã tĩnh cho ngôn ngữ assembly

Có bất kỳ công cụ hoặc thư viện mã nguồn mở nào để phân tích mã tĩnh của các ngôn ngữ dạng lắp ráp đơn giản hay không (cho các chương trình được tạo tự động) và chúng có khả năng gì (phát hiện mã/đăng