Resultados de la búsqueda a petición "static-analysis"

2 la respuesta

¿Cómo excluir archivos de la indexación de Eclipse (análisis de código estático)?

Tengo un proyecto de archivo compuesto por muchos archivos de origen, encabezado y otros, que estoy tratando de convertir en un proyecto "nativo" de Eclipse. El problema de que el indexador informa de errores y advertencias en los archivos que ...

9 la respuesta

¿Por qué se necesitan vidas explícitas en Rust?

Estaba leyendo elcapítulo de vidas [https://doc.rust-lang.org/book/first-edition/lifetimes.html]del libro Rust, y me encontré con este ejemplo para una vida nombrada / explícita: struct Foo<'a> { x: &'a i32, } fn main() { let x; // -+ x goes ...

2 la respuesta

Integración jenkins + sonar + github

Problema:Estoy configurandojenkins + sonar + githubIntegración para la comprobación automática del código estático de solicitud de extracción a través del sonar. Mi configuracion: Sonda instalada con github Jenkins instalado En la acción ...

2 la respuesta

Contratos de código: ¿Por qué algunos invariantes no se consideran fuera de la clase?

Considere este tipo inmutable: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(Path != null); } public Settings(string path) { Contract.Requires(path ...

2 la respuesta

Herramientas de comprobación de pelusas para el desarrollo de Objective-C [cerrado]

os proyectos @Large con múltiples desarrolladores a menudo dan como resultado un código que es inconsistente en el estilo. Estoy buscando unhila [http://en.wikipedia.org/wiki/Lint_(software)]erramienta similar a @ diseñada para Objective-C que va ...

3 la respuesta

¿Verifica si un reparto cruzado podría funcionar?

Sé que es legal usardynamic_cast para hacer un "reparto cruzado" en una jerarquía de clases. Por ejemplo, si tengo clases que se ven así: A B \ / CSi tengo unaA* puntero que apunta a un objeto de tipoC, entonces puedo usar A* aPtr = /* ... ...

7 la respuesta

Cómo generar un gráfico de llamada para código C ++

Estoy tratando de generar un gráfico de llamadas con el que encontrar todas las rutas de ejecución posibles que están afectando a una función en particular (para que no tenga que averiguar todas las rutas manualmente, ya que hay muchas rutas que ...

6 la respuesta

Posibilidades de análisis de código de Actionscript estático

Quiero ver visualmente las dependencias de clase, función y variable / propiedad, como NDepend [http://www.ndepend.com/Screenshots.aspx], pero para código ActionScript 2 o AS3. ¿Algún programa o idea? Utilizar doxygen [http://www.doxygen.nl/] ...

5 la respuesta

as variables @Instance con guión bajo en Objective-C 2.0 y el cambio de nombre con @synthetize llevan a advertencias de optimización mediante la herramienta 'Analizar' de Xcode 4 [duplicado]

Posible duplicado: ¿Cómo funciona un guión bajo frente a una variable en una clase de cacao objetivo-c? [https://stackoverflow.com/questions/822487/how-does-an-underscore-in-front-of-a-variable-in-a-cocoa-objective-c-class-work] Estoy usando ...

1 la respuesta

¿Deberían preferirse las anotaciones en jar305.jar sobre las anotaciones similares en annotation.jar para FindBugs?

En el FindBugs [http://findbugs.sourceforge.net/] distribución,annotations.jar esn un subconjunto dejsr305.jar. Sin embargo, varias anotaciones parecen estar duplicadas (ya sea exactamente o muy de cerca). ¿Debería preferir una ...