SPrinter

Velocista

Un verificador estático para encontrar errores inteligentes de puntero en los programas de C ++

Introducción

Un verificador de estilo de codificación estática para detectar los usos erróneos de la API de los punteros inteligentes C ++ que probablemente conducirán a errores de memoria como la fuga de memoria, se usa después de gratis y doble gratis.

Patrones de error

SmartPoInterSafety-Autoptr-in-Container

Informe un argumento de plantilla auto_ptr utilizado en un contenedor STL.

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

SmartPoIntersAfty-Autoptr-Wotity-Transfer

Informe toda la transferencia de memoria de un auto_ptr a otro.

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

foo (p1);
    ^
Warn here

SmartPoInterSafety-Deallocating-Observer-Pointer

Informe la operación que delete el puntero de los observadores de puntero inteligente.

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

SmartPoInterSaFety no-Memory-Memory-Iniciación

Informe las iniciaciones con memoria no asignada.

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

SmartPoInterSafety-Private-Autoptr-in-Class

Informe un campo privado auto_ptr en una clase sin constructores de copias y operadores de asignación.

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

SmartPoInterSer Afroty-Raw-Pointer-Iniciación

Informe la construcción de un puntero inteligente con una variable de puntero RAW.

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

Iniciación de type-inymatch-inicio de tipo de seguimiento inteligente

Informe el tipo de argumento de plantilla no coincidente y new operador para las construcciones de puntero inteligente.

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

SmartPoInterSears-ARCHECHECHED-LOCKEK-WEAK-WEAK Pointer

Informe los usos de weak_ptr bloqueados sin control s.

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

SmartPoInterSaFety-Oneallocated Leleed-Pointer

Informe el puntero release D que no se desaconseja.

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

Uso

Descargar

Clang-tidy con sprinter (Sha256sum 2C237C9A7E280F91D705ED6E16189C0A63B17643F09F3E233B2F7E6ECC712272))

Póngase en contacto con nosotros si necesita el código fuente.

Uso de herramientas

• Usando clang-tidy.
• Uso de Clang-Tidy con IDES o editores.
• Para usar Sprinter, habilite el prefijo smartpointersafety- prefijo para todos los patrones de error mencionados anteriormente.

P.ej

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

Publicación

• Introducción en video de YouTube.
• Documento de demostración de la herramienta ASE 2019.