SPrinter

Pelari cepat

Pemeriksa statis untuk menemukan kesalahan penunjuk pintar di program C ++

Perkenalan

Pemeriksa gaya pengkodean statis untuk mendeteksi penyalahgunaan API dari C ++ Smart Pointer yang mungkin akan menyebabkan kesalahan memori seperti kebocoran memori, gunakan setelah gratis, dan bebas ganda.

Pola kesalahan

SmartPointersafety-autoptr-in-Container

Laporkan argumen template auto_ptr yang digunakan dalam wadah STL.

std::vector<std::auto_ptr< int >> vi;
^
Warn here

SmartPointersafety-autoptr-hewar-transfer

Laporkan semua transfer memori dari satu auto_ptr ke yang lain.

std::auto_ptr< int > p1 ( new int ( 42 ));
void foo (std::auto_ptr< int > p);

foo (p1);
    ^
Warn here

Smartpointersafety-deallokasi-observer-pointer

Laporkan operasi yang delete s penunjuk dari pengamat pointer pintar.

std::unique_ptr< int > p = std::make_unique< int >( 42 );
delete p.get();
       ^
   Warn here

Smartpointersafety-non-alocated-memory-initiation

Laporkan inisiasi dengan memori yang tidak dialokasikan.

 int I;
std::unique_ptr< int > p (&I);
                       ^
                   Warn here

Smartpointersafety-private-autoptr-in-class

Laporkan bidang auto_ptr pribadi di kelas tanpa konstruktor salinan dan operator penugasan.

 class Type {
  private:
    std::auto_ptr< int > p;
    ^
Warn here
};

Smartpointersafety-raw-pointer-initiation

Laporkan pembangunan pointer pintar dengan variabel pointer mentah.

 void foo ( int *p) {
    std::unique_ptr< int > sp (p);
                            ^
                        Warn here
}

SmartPointersafety-Type-Mismatch-Initiation

Laporkan jenis argumen template yang tidak cocok dan operator new untuk konstruksi pointer pintar.

std::auto_ptr< int > sp ( new int [ 42 ]);
                      ^
                  Warn here

Smartpointersafety-diluncurkan-terkunci-lemah-pointer

Laporkan penggunaan weak_ptr terkunci yang tidak dicentang s.

std::weak_ptr< int > wp;
   ...
*wp.lock() = 42 ;
^
Warn here

Smartpointersafety-empel-rilis-pointer

Laporkan release D pointer yang tidak dialokasikan.

std::unique_ptr< int > sp;
   ...
*sp.release() = 42 ;
 ^
Warn here

Penggunaan

Unduh

Clang-ridy dengan sprinter (SHA256SUM 2C237C9A7E280F91D705ED6E16189C0A63B17643F09F3E233B2F7E6ECC712272)

Silakan hubungi kami jika Anda memerlukan kode sumber.

Penggunaan alat

• Menggunakan Clang-Tidy.
• Menggunakan Clang-Tidy dengan IDE atau editor.
• Untuk menggunakan Sprinter, harap aktifkan awalan smartpointersafety- untuk semua pola kesalahan yang disebutkan di atas.

Misalnya

$ clang-tidy -checks= ' -*,smartpointersafety-* ' source.cpp

Publikasi

• Pendahuluan Video YouTube.
• Kertas demonstrasi alat ASE 2019.