static-analysis

9Nhiệt

1Trả lời

Làm thế nào để sử dụng LLVM để tạo biểu đồ cuộc gọi?

Tôi đang xem xét việc tạo biểu đồ cuộc gọi cho hạt nhân Linux bao gồm các con trỏ hàm (xem câu hỏi trước của tôi Static call graph generation for the Linux kernel để biết thêm thông tin). Tôi đã nói v

llvm static-analysis call-graph 2012-03-30

---

8Nhiệt

3Trả lời

Xác minh mã tĩnh cho các tham chiếu đối tượng rỗng có sẵn có sẵn không?

Tôi muốn có một cách để có được cảnh báo khi một tham chiếu đối tượng có khả năng có thể ném một ngoại lệ tham chiếu Null, để tôi có thể viết mã phòng thủ cho chúng. Tôi đã xem xét Resharper, nhưng kh

c# .net-3.5 static-analysis 2012-04-11

---

19Nhiệt

2Trả lời

Coffeescript Static Analysis/Static Typechecking - Roadblock

Tôi nghĩ Coffeescript là một ngôn ngữ tuyệt vời! Tôi đang tìm kiếm một số dự án/vấn đề/tính năng thêm Phân tích tĩnh vào Coffeescript. Tuy nhiên sau khi tìm kiếm một số tôi thấy rằng Coffeescript faq

javascript programming-languages coffeescript static-analysis 2012-06-03

---

7Nhiệt

1Trả lời

Làm cách nào để loại trừ tiêu đề thư viện khỏi phân tích mã tĩnh Visual Studio của tôi?

Tôi đã thiết lập buildbot để biên dịch ứng dụng Qt/C++ của tôi với cờ/phân tích. Tuy nhiên các phân tích cũng được đào sâu vào các tiêu đề qt mà tôi không quan tâm đến: c:\qt\qt-everywhere-opensource-

c++ qt visual-c++ static-analysis visual-c++-2010 2012-04-17

---

5Nhiệt

2Trả lời

Trình tìm nạp SQL

Chúng tôi có dự án máy khách/máy chủ dựa trên Java. Gần đây, một trong những người thử nghiệm đã tìm thấy lỗ hổng SQL injection trong khi thử nghiệm ứng dụng. Chúng tôi không có đủ tài nguyên để kiểm

java sql security static-analysis 2012-09-14

---

8Nhiệt

1Trả lời

Công cụ quét của clang không hoạt động đối với tập tin cpp đơn giản

Tôi không thể tải một số tập tin đồ chơi C++ vào số c++-analyzer. #include <iostream> using namespace std; int main() { int t[4]; int x,y; t[5]=1; if(x) y = 5; x =

c++ clang static-analysis 2012-06-14

---

5Nhiệt

3Trả lời

phân tích cú pháp đang tĩnh cho Java mã nguồn để trích xuất các phương pháp/comments

Tôi đang tìm kiếm một phân tích cú pháp có thể trích xuất các phương pháp từ một lớp java (mã nguồn tĩnh -> java tập tin) và chữ ký phương pháp, ý kiến ​​/ tài liệu, các biến của mỗi phương pháp. Tốt

java parsing static static-analysis 2012-06-16

---

8Nhiệt

2Trả lời

Vô hiệu hóa sao chép Sonar trên thực thể, gói DTO

Có cách nào để vô hiệu hóa các số liệu nhất định từ các gói đã chọn trong Sonar không? Tôi sử dụng Sonar để phân tích dự án của mình và trong các gói Entity và DTO, tôi có một số mã bằng nhau - cùng m

java static-analysis sonarqube 2012-06-18

---

5Nhiệt

2Trả lời

Công cụ phân tích tĩnh nào để sử dụng để quét luồng dữ liệu từ phương thức này sang phương pháp khác?

Giả sử có hai phương pháp trong thư viện của tôi: void com.somepackage.SomeClass.someSink(String s) và int com.someotherpackage.SomeOtherClass.someSource(int i) Phương pháp đầu tiên được sử dụng như m

java static-analysis findbugs pmd 2012-05-06

---

19Nhiệt

3Trả lời

typesafe varargs trong C với gcc

Nhiều lần tôi muốn có một chức năng để nhận được một số biến của tham số, chấm dứt bởi NULL, ví dụ #define push(stack_t stack, ...) _push(__VARARG__, NULL); func _push(stack_t stack, char *s, ...) {

c gcc static-analysis c89 2012-05-10

---