Zoncolan: así es la herramienta de Facebook para encontrar bugs de seguridad capaz de analizar todo su código en media hora

Cuando un proyecto informático tiene el tamaño de Facebook, se hace necesario contar con herramientas que agilicen, entre otras muchas cosas, el hallazgo de bugs en sus millones de líneas de códigos. Para ello, en cuanto a seguridad, la compañía presume de haber desarrollado Zoncolan, una herramienta de análisis estático que permite encontrar bugs en ramas individuales y otros que afectan a ramas que interactúan entre sí.

Continuar leyendo «Zoncolan: así es la herramienta de Facebook para encontrar bugs de seguridad capaz de analizar todo su código en media hora»

¿Qué lenguaje de programación es más propenso a tener bugs?

Lenguaje de programación con más bugs.¿Qué lenguaje de programación tiene más bugsEn primer lugar, la respuesta es evidente: depende de quién se encuentre al teclado. No obstante, si se analizan los datos desde una perspectiva más amplia, se puede comprobar que algunos lenguajes son más propensos a sufrir errores, o más bien algunas formas de utilizar dichos lenguajes. Continuar leyendo «¿Qué lenguaje de programación es más propenso a tener bugs?»

Test automáticos con QuickCheck: ¿Cómo analizar nuestro código en busca de bugs?

Verificar que nuestro código está libre de bugs es una tarea muchísimo más complicada de lo que pudiera parecer en un principio. El número de relaciones que se producen entre las piezas de código que vamos añadiendo aumenta de forma vertiginosa y desgraciadamente nadie parece saber aún la forma de escribir código libre de bugs.

 

 

Continuar leyendo «Test automáticos con QuickCheck: ¿Cómo analizar nuestro código en busca de bugs?»