static-analysis

14Nhiệt

1Trả lời

Cách nhận Vera ++ để bỏ qua các phần mã cho một số/tất cả các quy tắc?

Tôi đang sử dụng Vera++ để thực hiện một số phân tích tĩnh trên mã C++ của mình. (trong Visual Studio 2008) Tuy nhiên, tôi có một số mã mà tôi biết và chấp nhận, sẽ phá vỡ các quy tắc nhất định. Tôi m

c++ static-analysis vera++ 2013-08-22

---

5Nhiệt

2Trả lời

Thư viện tuyên truyền không đổi cho .NET

Thư viện .NET (C#/F #) nguồn mở có tồn tại không? Hiện tại tôi quan tâm đến thuật toán tuyên truyền liên tục. Nó phải là trừu tượng (ngôn ngữ riêng) và nguồn mở vì tôi muốn sử dụng nó làm cơ sở cho vi

c# .net f# static-analysis 2013-08-27

---

5Nhiệt

2Trả lời

Bất kỳ cách nào để không xây dựng trong TeamCity bằng kết quả phân tích cppcheck

Tôi sử dụng cppcheck để phân tích mã tĩnh trong dự án của tôi và TeamCity để tích hợp liên tục. Sẽ tốt hơn nếu máy chủ xây dựng không xây dựng dự án khi cppcheck tìm thấy một số lỗi hoặc cảnh báo. Có

continuous-integration teamcity static-analysis cppcheck 2013-09-06

---

6Nhiệt

5Trả lời

sau khi xác định trường hợp cho tất cả các giá trị enum, trình biên dịch vẫn nói: "kiểm soát đạt đến kết thúc của chức năng không void"

Viết một đánh giá đơn giản tôi đã gặp một vấn đề buồn cười. Với mã: enum node_type {LEAF, NODE}; struct tree_elm_t { enum node_type type; union { struct tree_node_t node; struct

c gcc enums switch-statement static-analysis 2013-09-08

---

6Nhiệt

2Trả lời

Có chú thích @NonNullByDefault trong IDEA không?

Eclipse có chú thích @NonNullByDefault, chú thích xử lý tất cả các giá trị là @NonNull trừ khi bạn chú thích chúng một cách rõ ràng là @Nullable. Có tùy chọn tương đương trong IntelliJ IDEA hay bạn ph

java null intellij-idea static-analysis 2013-06-05

---

16Nhiệt

5Trả lời

Loại lớp học khép kín

Có thể tạo một kiểu chữ không thể thừa nhận thành viên mới nữa (có lẽ bằng cách sử dụng các biên mô-đun)? Tôi có thể từ chối xuất một hàm cần thiết cho một định nghĩa cá thể hoàn chỉnh, nhưng điều đó

haskell types static-analysis typeclass 2013-07-25

---

5Nhiệt

1Trả lời

Làm cách nào để sử dụng trình kiểm tra tĩnh python với Eclipse?

Gần đây tôi đã xem qua số flake8, đây là một trình bao bọc tiện dụng xung quanh một vài bộ kiểm tra tĩnh python khác nhau và có vẻ như rất hay. Nhưng làm thế nào để tôi sử dụng một công cụ như thế này

python windows eclipse static-analysis 2013-06-11

---

5Nhiệt

1Trả lời

Mã Hợp đồng kiểm tra tĩnh dường như không biết về Contract.Ensures của ReadOnlyCollection <T> constructor

Gần đây tôi đã cài đặt Công cụ Hợp đồng Mã (Hợp đồng Mã cho .NET) và Mã Hợp đồng Editor Extensions VS2012, và tôi gặp một số vấn đề khi trình kiểm tra tĩnh hoạt động đúng. Khi tôi chạy kiểm tra tĩnh M

c# static-analysis code-contracts 2013-08-01

---

6Nhiệt

1Trả lời

Làm thế nào khó khăn là phát hiện cấp nguồn của mảng giới hạn thời gian chạy?

The (chấp nhận) proposal for "Runtime-sized arrays with automatic storage duration (N3639)" khẳng định rằng stack overflow trở nên nhiều khả năng, đặc biệt là nếu kích thước phụ thuộc vào đầu vào bên

c++ arrays static-analysis c++14 2013-08-01

---

7Nhiệt

4Trả lời

phân tích mã tĩnh, phát hiện các mã thông thường

Tôi có một số lần xuất hiện trong một cơ sở mã mới, nơi có một chuỗi các phương pháp gọi như thế nào, object o = something.foo(); bar(o); something.foobar(); trong dòng liên tiếp. Tôi muốn tìm/đếm

java static-analysis 2013-09-23

---