Preguntas etiquetadas con static-analysis

Al explicar la diferencia entre la rigurosidad de los lenguajes y los paradigmas a un colega mío, terminé afirmando que: Los lenguajes tolerantes, como los lenguajes dinámicos e interpretados, se utilizan mejor para prototipos y proyectos pequeños o aplicaciones web de tamaño mediano. Al elegir lenguajes dinámicos elegantes como Python …

72 programming-languages  dynamic-typing  language-choice  static-typing  static-analysis 

Usamos SonarQube para analizar nuestro código Java y tiene esta regla (establecida en crítica): Los métodos públicos deberían arrojar como máximo una excepción marcada El uso de excepciones marcadas obliga a las personas que llaman al método a tratar los errores, ya sea propagándolos o manejándolos. Esto hace que esas …

47 java  exceptions  static-analysis 

Acabo de leer algunos de los libros blancos y ejemplos de Microsoft "Roslyn" y el concepto parece muy interesante. Por lo que puedo decir, abre el cuadro negro que es el compilador y proporciona una interfaz que podemos usar para obtener información y métricas sobre el código escrito en Visual …

37 .net  visual-studio  static-analysis 

Tenemos aquí una gran base de código heredado con código incorrecto que no puede imaginar. Definimos ahora algunos estándares de calidad y queremos cumplirlos en una base de código completamente nueva, pero también si toca el código heredado. Y aplicamos aquellos con Sonar (herramienta de análisis de código), que ya …

28 code-quality  static-analysis  legacy-code 

Escuché sobre el análisis de código de Visual Studio pero nunca usé uno. He leído MSDN , pero aún no entiendo el uso real del análisis de código. ¿No es lo mismo que StyleCop? En algún lugar, también se mencionó FxCop. ¿Cuál es la diferencia con el análisis de código? …

26 c#  .net  code-quality  static-analysis 

Me parece lógico que uno pueda definir un contexto para el análisis de código fuente estático que incluye reglas para producir un valor relativo de complejidad. Sé que no es así en el sentido físico porque el código fuente no tiene "Energía", pero apuesto a que ha habido esfuerzos, al …

19 code-quality  static-analysis 

La escritura estática en un lenguaje de programación puede ser útil para hacer cumplir ciertas garantías en el momento de la compilación, pero ¿son los tipos la única herramienta para este trabajo? ¿Hay otras formas de especificar invariantes? Por ejemplo, un lenguaje o entorno podría ayudar a hacer cumplir una …

18 programming-languages  static-typing  static-analysis 

He estado estudiando la complejidad ciclomática (McCabe) y la accesibilidad del software en la universidad recientemente. Hoy mi profesor dijo que no hay correlación entre las dos métricas, pero ¿es este realmente el caso? Creo que definitivamente habría alguna correlación, ya que los programas menos complejos (de los pocos que …

18 complexity  metrics  static-analysis  code-metrics 

Se pueden usar herramientas como pc-lint o QAC para realizar análisis de código estático en una base de código. En mi experiencia, el análisis estático a menudo produce una gran cantidad de ruido, es decir, advertencias sobre cosas que no son errores reales pero que de alguna manera violan una …

18 code-quality  static-analysis 

Estoy trabajando en una empresa que obtendría un puntaje de 11 en Joel Test, al menos en papel. En la práctica, sin embargo, nada funciona tan bien como se esperaba, y el proyecto ha estado en DEFCON 1 durante medio año. Ahora, la mayoría de mis compañeros están felices si …

17 c  static-analysis 

Estoy acostumbrado a buscar la notación de Landau (Big O, Theta ...) de mis algoritmos a mano para asegurarme de que estén tan optimizados como sea posible, pero cuando las funciones se vuelven realmente grandes y complejas, está tomando forma demasiado tiempo para hacerlo a mano. También es propenso a …

11 algorithms  complexity  big-o  static-analysis  big-theta 

Empecé a trabajar en varios proyectos de C que están construyendo usando gcc. Creo que esta elección se hizo por varias razones: Tuve que hacer una compilación cruzada para el brazo desde el principio (creo). El rendimiento es la primera y más importante especificación. gcc fue y sigue siendo la …

8 coding-style  static-analysis  gcc  clang 

Heredé un código Java que sospecho que alberga algunos errores de concurrencia al sincronizar entre un hilo que consulta datos y un evento IO que actualiza los mismos datos. Estoy probando una herramienta de análisis estático llamada ThreadSafe que detecta varios problemas de concurrencia (es decir, campo al que se …

8 multithreading  debugging  static-analysis 

La primera respuesta a una pregunta antigua, recientemente activa , vinculada a un video que habla sobre cómo se realiza el repositorio de Google. Una cosa interesante que se mencionó es el hecho de que todo está construido desde la fuente, sin depender de binarios. Esto ayuda a evitar problemas …

8 continuous-integration  ide  static-analysis  build-system