Ini ialah arahan scan-build-3.8 yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
binaan imbasan — Penganalisis statik dentang
SINOPSIS
binaan imbasan [-ohkvV] [-menganalisis-kepala] [-dayakan-pemeriksa [nama_pemeriksa]]
[-lumpuhkan-pemeriksa [nama_pemeriksa]] [- membantu] [--pembantu-pemeriksa]
[--html-title [=tajuk]] [--teruskan] [-plist] [-plist-html] [--status-bugs]
[--use-c++ [=path_compiler]] [--gunakan-cc [=path_compiler]] [--pandangan]
[-kekangan [model]] [-maxloop N] [-tiada-laporan-gagal] [-statistik]
[-kedai [model]] build_command [pilihan_bina]
DESCRIPTION
binaan imbasan ialah skrip Perl yang menggunakan penganalisis statik Clang. Pilihan yang digunakan oleh
binaan imbasan atau oleh penganalisis muncul dahulu, diikuti oleh build_command dan mana-mana
bina_pilihan biasanya digunakan untuk membina sistem sasaran.
Penganalisis statik menggunakan senarai panjang algoritma semakan, lihat PEMERIKSAAN. Output boleh
ditulis dalam format .plist dan/atau HTML standard.
Pilihan berikut disokong:
-menganalisis-kepala
Analisis juga fungsi dalam fail #included.
-dayakan-pemeriksa nama_pemeriksa, -lumpuhkan-pemeriksa nama_pemeriksa
Membolehkan melumpuhkan nama_pemeriksa. Lihat PEMERIKSAAN.
-h, - membantu
Paparkan mesej ini.
--pembantu-pemeriksa
Senaraikan penyemak lalai, lihat PEMERIKSAAN.
--html-title[=tajuk]
Nyatakan tajuk yang digunakan pada halaman HTML yang dijana. Tajuk lalai dijana jika
tajuk tidak dinyatakan.
-k, --teruskan
Tambahkan pilihan "teruskan" pada build_command. Pada masa ini menyokong membuat dan
xcodebuild. Ini adalah pilihan kemudahan; seseorang boleh menentukan tingkah laku ini secara langsung
menggunakan pilihan binaan.
-o Direktori sasaran untuk fail laporan HTML. Subdirektori akan dibuat mengikut keperluan untuk
mewakili seruan berasingan penganalisis. Jika pilihan ini tidak dinyatakan, a
direktori dicipta dalam / tmp (TMPDIR pada Mac OS X) untuk menyimpan laporan.
-plist Keluarkan keputusan sebagai satu set fail .plist. (Secara lalai output daripada binaan imbasan is
satu set fail HTML.)
-plist-html
Keluarkan keputusan sebagai satu set fail HTML dan .plist
--status-bugs
Tetapkan status keluar kepada 1 jika ia menemui potensi pepijat dan 0 sebaliknya. Secara lalai jalan keluar
status binaan imbasan adakah itu dikembalikan oleh build_command.
--use-c++[=compiler_path]
Teka pengkompil lalai untuk kod C++ dan Objective-C++ anda. Gunakan pilihan ini untuk
tentukan pengkompil alternatif.
--gunakan-cc[=compiler_path]
Teka pengkompil lalai untuk kod C dan Objektif-C anda. Gunakan pilihan ini untuk
tentukan pengkompil alternatif.
-v Keluaran bertele-tele daripada binaan imbasan dan penganalisis. Yang kedua dan ketiga v kenaikan
keterlaluan.
-V, --pandangan
Lihat hasil analisis dalam pelayar web apabila binaan selesai.
-kekangan [model]
Nyatakan enjin kontra yang digunakan oleh penganalisis. Secara lalai model 'julat' ialah
digunakan. Menentukan 'asas' menggunakan model kekangan yang lebih ringkas dan kurang berkuasa yang digunakan oleh
pemeriksa-0.160 dan lebih awal.
-maxloop N
Nyatakan bilangan kali blok boleh dilawati sebelum berputus asa. Lalai ialah 4.
Tingkatkan untuk liputan yang lebih komprehensif dengan kos kelajuan.
-tiada-laporan-gagal
Jangan buat subdirektori 'kegagalan' yang termasuk laporan ranap penganalisis dan
fail sumber pra-diproses.
-statistik Menghasilkan statistik lawatan untuk projek yang dianalisis.
-kedai [model]
Nyatakan model stor yang digunakan oleh penganalisis. Secara lalai, model kedai 'rantau'
digunakan. 'wilayah' menentukan model stor peka medan. Pengguna juga boleh menentukan
'asas' yang jauh kurang tepat tetapi boleh menganalisis kod dengan lebih cepat. 'asas' adalah
model stor lalai untuk checker-0.221 dan lebih awal.
EXIT STATUS
binaan imbasan mengembalikan nilai yang dikembalikan oleh build_command melainkan jika --status-bugs or --teruskan
digunakan.
PEMERIKSAAN
Pemeriksa yang disenaraikan di bawah mungkin didayakan/dilumpuhkan menggunakan -dayakan-pemeriksa and
-lumpuhkan-pemeriksa pilihan. Kumpulan dam lalai dijalankan melainkan dilumpuhkan secara eksplisit.
Tepat dam mana yang membentuk kumpulan lalai ialah fungsi sistem pengendalian dalam
penggunaan; mereka disenaraikan dengan --pembantu-pemeriksa.
teras.AdjustedReturnValue
Semak untuk melihat sama ada nilai pulangan panggilan fungsi adalah berbeza daripada pemanggil
jangkakan (cth, daripada panggilan melalui penunjuk fungsi).
teras.AttributeNonNull
Semak penunjuk nol yang diluluskan sebagai argumen kepada fungsi yang hujahnya
ditandakan dengan atribut 'nonnull'.
teras.CallAndMessage
Semak ralat logik untuk panggilan fungsi dan ungkapan mesej Objektif-C
(cth, hujah yang tidak dimulakan, penunjuk fungsi nol).
teras.DivideZero
Semak pembahagian dengan sifar.
teras.NullDereference
Semak penyimpangan penunjuk nol.
teras.StackAddressEscape
Semak bahawa alamat untuk menyusun memori tidak terlepas daripada fungsi.
teras.UndefinedBinaryOperatorResult
Semak keputusan undefined operator binari.
teras.VLASize
Semak untuk pengisytiharan VLA yang tidak ditentukan atau saiz sifar.
core.builtin.BuiltinFunctions
Nilaikan fungsi terbina pengkompil, cth alloca,
core.builtin.NoReturnFunctions
Nilaikan fungsi 'panik' yang diketahui tidak kembali kepada pemanggil.
core.uninitialized.ArraySubscript
Semak nilai yang tidak dimulakan yang digunakan sebagai subskrip tatasusunan.
teras.tidak dimulakan.Tugaskan
Semak untuk memberikan nilai yang tidak dimulakan.
teras.tidak dimulakan.Cawangan
Semak nilai yang tidak dimulakan yang digunakan sebagai syarat cawangan.
core.uninitialized.CapturedBlockVariable
Semak blok yang menangkap nilai yang tidak dimulakan.
core.uninitialized.UndefReturn
Semak nilai yang tidak dimulakan dikembalikan kepada pemanggil.
deadcode.DeadStores
Semak nilai yang disimpan pada pembolehubah yang tidak pernah dibaca selepas itu.
nyahpepijat.DumpCFG
Paparkan Graf Aliran Kawalan.
debug.DumpCallGraph
Paparkan Graf Panggilan.
nyahpepijat.DumpDominators
Cetak pepohon penguasaan untuk Graf Aliran Kawalan yang diberikan.
debug.DumpLiveVars
Cetak keputusan analisis pembolehubah langsung.
nyahpepijat.Stats
Pancarkan amaran dengan statistik penganalisis.
nyahpepijat.TaintTest
Tandai simbol tercemar seperti itu.
nyahpepijat.ViewCFG
Lihat Graf Aliran Kawalan menggunakan GrafikViz.
debug.ViewCallGraph
Lihat Graf Panggilan menggunakan GrafikViz.
llvm.Konvensyen
Semak kod untuk konvensyen pangkalan kod LLVM.
osx.API Semak penggunaan yang betul bagi pelbagai API Mac OS X.
osx.AtomicCAS
Nilaikan panggilan ke OSAtomik fungsi.
osx.SecKeychainAPI
Semak penggunaan yang betul bagi Secure Keychain API.
osx.cocoa.AtSync
Semak penunjuk nol yang digunakan sebagai mutex untuk @synchronized.
osx.cocoa.ClassRelease
Semak untuk menghantar 'retain', 'release' atau 'autorelease' terus ke Kelas.
osx.cocoa.IncompatibleMethodTypes
Beri amaran tentang tandatangan kaedah Objektif-C dengan jenis yang tidak serasi.
osx.cocoa.NSAutoreleasePool
Beri amaran untuk penggunaan suboptimum bagi NSAutoreleasePool dalam mod GC Objektif-C.
osx.cocoa.NSError
Semak penggunaan parameter NSError**.
osx.cocoa.NilArg
Semak hujah nil yang dilarang untuk panggilan kaedah Objektif-C.
osx.cocoa.RetainCount
Semak kebocoran dan pengurusan kiraan rujukan yang tidak betul.
osx.cocoa.SelfInit
Semak bahawa 'diri' dimulakan dengan betul dalam kaedah pemula.
osx.cocoa.UnusedIvars
Beri amaran tentang ivar persendirian yang tidak pernah digunakan.
osx.cocoa.VariadicMethodTypes
Semak untuk menghantar jenis bukan Objektif-C kepada kaedah variadik yang menjangkakan sahaja
Jenis Objektif-C.
osx.coreFoundation.CFError
Semak penggunaan parameter CFErrorRef*.
osx.coreFoundation.CFNumber
Semak untuk kegunaan yang betul CFNumberCreate,
osx.coreFoundation.CFRetainRelease
Semak hujah nol ke CFRetain(), CFRelease(), dan CFMakeCollectable,
osx.coreFoundation.containers.OutOfBounds
Menyemak indeks di luar sempadan apabila menggunakan CFArray API.
osx.coreFoundation.containers.PointerSizedValues
Memberi amaran jika CFArray, CFDictionary, Atau CFSet dicipta dengan nilai bukan saiz penunjuk.
keselamatan.FloatLoopCounter
Beri amaran tentang menggunakan nilai titik terapung sebagai pembilang gelung (CERT: FLP30-C, FLP30-CPP).
security.insecureAPI.UncheckedReturn
Beri amaran tentang penggunaan fungsi yang nilai pulangannya mesti sentiasa diperiksa.
security.insecureAPI.getpw
Beri amaran tentang penggunaan getpw,
security.insecureAPI.gets
Beri amaran tentang penggunaan mendapat,
security.insecureAPI.mkstemp
Beri amaran bila mkstemp() diluluskan kurang daripada 6 X dalam rentetan format.
security.insecureAPI.mktemp
Beri amaran tentang penggunaan mktemp,
security.insecureAPI.rand
Beri amaran tentang penggunaan rand(), rawak(), dan fungsi yang berkaitan.
security.insecureAPI.strcpy
Beri amaran tentang penggunaan strcpy() dan scat,
security.insecureAPI.vfork
Beri amaran tentang penggunaan vfork,
unix.API
Semak panggilan ke pelbagai fungsi UNIX/Posix.
unix.Malloc
Periksa kebocoran memori, bebas dua kali ganda dan bebas penggunaan selepas.
unix.cstring.BadSizeArg
Semak argumen saiz yang dihantar ke fungsi rentetan C untuk kesilapan biasa
corak.
unix.cstring.NullArg
Semak untuk penunjuk nol dihantar sebagai argumen kepada fungsi rentetan C.
CONTOH
binaan imbasan -o /tmp/myhtmldir membuat -j4
Contoh di atas menyebabkan laporan analisis didepositkan ke dalam subdirektori bagi
/tmp/myhtmldir dan untuk berlari membuat dengan -j4 pilihan. Subdirektori yang berbeza dibuat
setiap masa binaan imbasan menganalisis sesuatu projek. Penganalisis harus menyokong kebanyakan binaan selari,
tetapi bukan binaan yang diedarkan.
PENGARANG
binaan imbasan ditulis oleh Ted Kremenek. Dokumentasi disumbangkan oleh
James K. Lowden[e-mel dilindungi]>.
Gunakan scan-build-3.8 dalam talian menggunakan perkhidmatan onworks.net
