scan-build-3.8 - Trực tuyến trên Đám mây

CHƯƠNG TRÌNH:

TÊN

quét-xây dựng - Máy phân tích tĩnh Clang

SYNOPSIS

quét-xây dựng [-ohkvV] [-phân tích-tiêu đề] [-enable-kiểm tra [tên cờ]]
[-bộ kiểm tra vô hiệu hóa [tên cờ]] [--Cứu giúp] [- người kiểm tra trợ giúp]
[--html-tiêu đề [= tiêu đề]] [--tiếp tục đi] [-plist] [-plist-html] [--status-bug]
[--use-c ++ [= compiler_path]] [--use-cc [= compiler_path]] [--quan điểm]
[-hạn chế [kiểu mẫu]] [-maxloop N] [-không-lỗi-báo cáo] [-số liệu thống kê]
[-cửa hàng [kiểu mẫu]] build_command [build_options]

MÔ TẢ

quét-xây dựng là một tập lệnh Perl gọi trình phân tích tĩnh Clang. Các tùy chọn được sử dụng bởi
quét-xây dựng hoặc bởi máy phân tích xuất hiện đầu tiên, tiếp theo là build_command và bất kỳ
tùy chọn xây dựng thường được sử dụng để xây dựng hệ thống đích.

Trình phân tích tĩnh sử dụng một danh sách dài các thuật toán kiểm tra, xem KIỂM TRA. Đầu ra có thể là
được viết ở định dạng .plist và / hoặc HTML tiêu chuẩn.

Các tùy chọn sau được hỗ trợ:

-phân tích-tiêu đề
Đồng thời phân tích các hàm trong các tệp #included.

-enable-kiểm tra tên cờ, -bộ kiểm tra vô hiệu hóa tên cờ
Cho phép vô hiệu hóa tên cờ. Thấy KIỂM TRA.

-h, --Cứu giúp
Hiển thị thông báo này.

- người kiểm tra trợ giúp
Liệt kê các bộ kiểm tra mặc định, xem KIỂM TRA.

--html-tiêu đề[=tiêu đề]
Chỉ định tiêu đề được sử dụng trên các trang HTML đã tạo. Tiêu đề mặc định được tạo nếu
tiêu đề không được chỉ định.

-k, --tiếp tục đi
Thêm tùy chọn "tiếp tục" vào build_command. Hiện hỗ trợ thực hiện và
xcodebuild. Đây là một lựa chọn tiện lợi; người ta có thể chỉ định hành vi này trực tiếp
sử dụng các tùy chọn xây dựng.

-o Thư mục đích cho các tệp báo cáo HTML. Các thư mục con sẽ được tạo khi cần thiết để
đại diện cho các lệnh gọi riêng biệt của máy phân tích. Nếu tùy chọn này không được chỉ định,
thư mục được tạo trong / Tmp (TMPDIR trên Mac OS X) để lưu trữ các báo cáo.

-plist Xuất kết quả dưới dạng một tập hợp các tệp .plist. (Theo mặc định, đầu ra của quét-xây dựng is
một tập hợp các tệp HTML.)

-plist-html
Xuất kết quả dưới dạng một tập hợp các tệp HTML và .plist

--status-bug
Đặt trạng thái thoát thành 1 nếu tìm thấy lỗi tiềm ẩn và 0 nếu không. Theo mặc định, lối ra
trạng thái của quét-xây dựng cái đó được trả lại bởi build_command.

--use-c ++[=trình biên dịch_path]
Đoán trình biên dịch mặc định cho mã C ++ và Objective-C ++ của bạn. Sử dụng tùy chọn này để
chỉ định một trình biên dịch thay thế.

--use-cc[=trình biên dịch_path]
Đoán trình biên dịch mặc định cho mã C và Objective-C của bạn. Sử dụng tùy chọn này để
chỉ định một trình biên dịch thay thế.

-v Chi tiết đầu ra từ quét-xây dựng và máy phân tích. Một thứ hai và thứ ba v tăng
độ dài.

-V, --quan điểm
Xem kết quả phân tích trong trình duyệt web khi quá trình xây dựng hoàn tất.

-hạn chế [kiểu mẫu]
Chỉ định công cụ cản quang được sử dụng bởi máy phân tích. Theo mặc định, mô hình 'phạm vi' là
đã sử dụng. Việc chỉ định 'cơ bản' sử dụng một mô hình ràng buộc đơn giản hơn, ít mạnh mẽ hơn được sử dụng bởi
checker-0.160 trở về trước.

-maxloop N
Xác định số lần một khối có thể được truy cập trước khi từ bỏ. Mặc định là 4.
Tăng để có phạm vi phủ sóng toàn diện hơn với chi phí nhanh chóng.

-không-lỗi-báo cáo
Không tạo thư mục con 'lỗi' bao gồm các báo cáo sự cố của máy phân tích và
các tệp nguồn được xử lý trước.

-số liệu thống kê Tạo thống kê lượt truy cập cho dự án đang được phân tích.

-cửa hàng [kiểu mẫu]
Chỉ định mô hình cửa hàng được sử dụng bởi máy phân tích. Theo mặc định, mô hình cửa hàng 'khu vực'
Được sử dụng. 'khu vực' chỉ định mô hình cửa hàng nhạy cảm với trường. Người dùng cũng có thể chỉ định
'basic' kém chính xác hơn nhưng có thể phân tích mã nhanh hơn. 'cơ bản' là
mô hình cửa hàng mặc định cho checker-0.221 trở về trước.

EXIT TÌNH TRẠNG

quét-xây dựng trả về giá trị được trả về bởi build_command trừ khi --status-bug or --tiếp tục đi
Được sử dụng.

KIỂM TRA

Các bộ kiểm tra được liệt kê bên dưới có thể được bật / tắt bằng cách sử dụng -enable-kiểm tra và
-bộ kiểm tra vô hiệu hóa tùy chọn. Một nhóm bộ kiểm tra mặc định được chạy trừ khi bị vô hiệu hóa rõ ràng.
Chính xác bộ kiểm tra nào tạo thành nhóm mặc định là một chức năng của hệ điều hành trong
sử dụng; họ được liệt kê với - người kiểm tra trợ giúp.

core.AdjustedReturnValue
Kiểm tra xem giá trị trả về của một lệnh gọi hàm có khác với lệnh gọi hay không
mong đợi (ví dụ: từ các cuộc gọi thông qua con trỏ hàm).

lõi.AttributeNonNull
Kiểm tra các con trỏ null được truyền dưới dạng đối số cho một hàm có đối số là
được đánh dấu bằng thuộc tính 'nonnull'.

lõi.CallAndMessage
Kiểm tra lỗi logic cho các lệnh gọi hàm và biểu thức thông báo Objective-C
(ví dụ: đối số chưa được khởi tạo, con trỏ hàm rỗng).

lõi.DivideZero
Kiểm tra phép chia cho số không.

lõi.NullDereference
Kiểm tra các tham chiếu của con trỏ null.

core.StackAddressEscape
Kiểm tra xem các địa chỉ để ngăn xếp bộ nhớ không thoát khỏi hàm.

core.Und xác địnhBinaryOperatorResult
Kiểm tra kết quả không xác định của toán tử nhị phân.

lõi.VLASize
Kiểm tra các khai báo của VLA có kích thước không xác định hoặc bằng không.

core.buildin.BuiltinFunctions
Đánh giá các chức năng nội trang của trình biên dịch, ví dụ: phân bổ().

core.buildin.NoReturnFunctions
Đánh giá các chức năng 'hoảng sợ' được biết là không quay trở lại người gọi.

core.uninitialized.ArraySubscript
Kiểm tra các giá trị chưa được khởi tạo được sử dụng làm chỉ số con của mảng.

core.uninitialized.Assign
Kiểm tra việc chỉ định các giá trị chưa được khởi tạo.

core.uninitialized.Branch
Kiểm tra các giá trị chưa khởi tạo được sử dụng làm điều kiện nhánh.

core.uninitialized.CapturedBlockVariable
Kiểm tra các khối nắm bắt các giá trị chưa được khởi tạo.

core.uninitialized.UndefReturn
Kiểm tra các giá trị chưa khởi tạo được trả lại cho người gọi.

mã chết.DeadStores
Kiểm tra các giá trị được lưu trữ cho các biến không bao giờ được đọc sau đó.

gỡ lỗi.DumpCFG
Hiển thị đồ thị luồng điều khiển.

gỡ lỗi.DumpCallGraph
Hiển thị Đồ thị Cuộc gọi.

gỡ lỗi.DumpDominators
In cây thống trị cho một Đồ thị luồng điều khiển đã cho.

gỡ lỗi.DumpLiveVars
In kết quả phân tích biến trực tiếp.

gỡ lỗi.Stats
Phát ra cảnh báo với số liệu thống kê của máy phân tích.

gỡ lỗi.TaintTest
Đánh dấu các ký hiệu bị nhiễm bẩn như vậy.

gỡ lỗi.ViewCFG
Xem Đồ thị luồng điều khiển bằng cách sử dụng GraphViz.

gỡ lỗi.ViewCallGraph
Xem Biểu đồ cuộc gọi bằng cách sử dụng GraphViz.

llvm.Conventions
Kiểm tra mã cho các quy ước cơ sở mã LLVM.

osx.API Kiểm tra cách sử dụng thích hợp các API Mac OS X khác nhau.

osx.AtomicCAS
Đánh giá các cuộc gọi đến OSAtomic chức năng.

osx.SecKeychainAPI
Kiểm tra việc sử dụng đúng các API chuỗi khóa an toàn.

osx.cocoa.AtSync
Kiểm tra các con trỏ rỗng được sử dụng làm mutexes cho @synchronized.

osx.cocoa.ClassRelease
Kiểm tra để gửi trực tiếp 'giữ lại', 'phát hành' hoặc 'tự động làm lại' cho một Lớp.

osx.cocoa.Incomp Tương thíchMethodTypes
Cảnh báo về các chữ ký phương thức Objective-C có sự không tương thích về kiểu.

osx.cocoa.NSAutoreleasePool
Cảnh báo về việc sử dụng không tối ưu NSAutoreleaseBể bơi trong chế độ Objective-C GC.

osx.cocoa.NSError
Kiểm tra việc sử dụng các tham số NSError **.

osx.cocoa.NilArg
Kiểm tra các đối số nil bị cấm đối với các lệnh gọi phương thức Objective-C.

osx.cocoa.RetainCount
Kiểm tra rò rỉ và quản lý số lượng tham chiếu không phù hợp.

osx.cocoa.SelfInit
Kiểm tra xem 'self' có được khởi tạo đúng cách bên trong một phương thức khởi tạo hay không.

osx.cocoa.UnusedIvars
Cảnh báo về các ivars riêng tư không bao giờ được sử dụng.

osx.cocoa.VariadicMethodTypes
Kiểm tra để chuyển các loại không phải Objective-C sang các phương thức khác nhau mà chỉ mong đợi
Các loại Objective-C.

osx.coreFoundation.CFError
Kiểm tra việc sử dụng các tham số CFErrorRef *.

osx.coreFoundation.CFNumber
Kiểm tra để sử dụng hợp lý Số CFTạo().

osx.coreFoundation.CFRetainRelease
Kiểm tra các đối số rỗng để giữ lại CF(), CFGiải phóng(), và CFMakeSưu tập().

osx.coreFoundation.containers.OutOfBounds
Kiểm tra chỉ mục nằm ngoài giới hạn khi sử dụng Mảng CF API.

osx.coreFoundation.containers.PointerSizedValues
Cảnh báo nếu Mảng CF, từ điển CF, hoặc là Bộ CF được tạo bằng các giá trị không phải kích thước con trỏ.

bảo mật.FloatLoopCounter
Cảnh báo về việc sử dụng giá trị dấu phẩy động làm bộ đếm vòng lặp (CERT: FLP30-C, FLP30-CPP).

security.insecureAPI.UncheckedReturn
Cảnh báo về việc sử dụng các hàm có giá trị trả về phải luôn được kiểm tra.

bảo mật.insecureAPI.getpw
Cảnh báo về việc sử dụng nhận được().

bảo mật.insecureAPI.gets
Cảnh báo về việc sử dụng được().

security.insecureAPI.mkstemp
Cảnh báo khi mkstemp() được truyền ít hơn 6 X trong chuỗi định dạng.

bảo mật.insecureAPI.mktemp
Cảnh báo về việc sử dụng mktemp().

bảo mật.insecureAPI.rand
Cảnh báo về việc sử dụng rand(), ngẫu nhiên() và các chức năng liên quan.

bảo mật.insecureAPI.strcpy
Cảnh báo về việc sử dụng strcpy() và strcat().

security.insecureAPI.vfork
Cảnh báo về việc sử dụng cái nĩa().

unix.API
Kiểm tra các cuộc gọi đến các chức năng UNIX / Posix khác nhau.

unix.Malloc
Kiểm tra rò rỉ bộ nhớ, dung lượng trống gấp đôi và sử dụng sau khi hết dung lượng.

unix.cstring.BadSizeArg
Kiểm tra đối số kích thước được truyền vào các hàm chuỗi C để tìm lỗi phổ biến
hoa văn.

unix.cstring.NullArg
Kiểm tra xem con trỏ null có được truyền dưới dạng đối số cho các hàm chuỗi C hay không.

THÍ DỤ

quét-xây dựng -o / tmp / myhtmldir làm cho -j4

Ví dụ trên khiến các báo cáo phân tích được gửi vào một thư mục con của
/ tmp / myhtmldir và để chạy làm cho với -j4 Lựa chọn. Một thư mục con khác được tạo
mỗi lần quét-xây dựng phân tích một dự án. Máy phân tích phải hỗ trợ hầu hết các bản dựng song song,
nhưng không phải các bản dựng được phân phối.

TÁC GIẢ

quét-xây dựng được viết bởi Ted Kremenek. Tài liệu do
James K. Lowden[email được bảo vệ]>.

Sử dụng scan-build-3.8 trực tuyến bằng các dịch vụ onworks.net