11 noticias
SkillSpector es una herramienta de código abierto desarrollada por NVIDIA que analiza las habilidades de los agentes de inteligencia artificial (AI agent skills) en busca de vulnerabilidades, patrones maliciosos y riesgos de seguridad. Su objetivo es responder a una pregunta crítica antes de instala
Cosine ha presentado cos, una herramienta de línea de comandos que combina dos modos de trabajo orientados a seguridad informática. En modo Security Scan, la herramienta lee el código fuente en busca de vulnerabilidades —como la omisión de verificación de firma en tokens JWT, un open redirect SSRF e
El ecosistema de Python cuenta actualmente con cinco verificadores de tipos que reciben atención creciente: mypy, Pyrefly, Pyright, ty y Zuban. Para los responsables de mantener librerías, ejecutar los cinco sobre el código fuente propio resulta una carga excesiva, ya que cada herramienta impone ano
Alibaba Group ha publicado como proyecto de código abierto Open Code Review (OCR), una herramienta de línea de comandos (CLI) que emplea inteligencia artificial para revisar código de forma automatizada. La aplicación nació como asistente interno oficial de revisión de código en Alibaba y, durante l
eslint-markdown es un plugin para ESLint que añade reglas específicas de análisis estático orientadas a archivos Markdown. Está publicado como paquete en npm dentro del repositorio lumirlumir/npm-eslint-markdown y se distribuye bajo licencia open source, con código, issues y documentación accesibles
@lateos/npm-scan es una herramienta de seguridad de código abierto que realiza análisis estático y conductual sobre paquetes del ecosistema npm —y, parcialmente, de PyPI— para detectar amenazas avanzadas en la cadena de suministro de software. A diferencia de npm audit, Snyk o Socket, la herramienta
Semgrep ha presentado la versión 1.0.0 de Pyro Caml, el primer perfilador continuo (continuous profiler) para el lenguaje de programación OCaml. La herramienta nace de una necesidad interna de la compañía, cuyo motor principal de análisis estático de código (SAST) está escrito en OCaml y se ejecuta
Mercury es un lenguaje de programación lógico y funcional que representa un enfoque innovador en el mundo de los lenguajes de programación. Desarrollado originalmente con un enfoque en la programación lógica, Mercury combina la claridad y expresividad de la programación declarativa con capacidades a
El 'Journal of C Language Translation' (JCLT) fue una publicación trimestral especializada, con un enfoque muy concreto: el desarrollo de herramientas que procesan y transforman código escrito en los lenguajes de programación C y C++. Aunque hoy en día pueda parecer un nicho muy específico, su impor
Este artículo describe un problema común en el desarrollo de software backend, específicamente en el manejo de transacciones de bases de datos, y cómo el autor lo resolvió creando un linter personalizado. El problema surge cuando, al envolver código existente en una transacción, se olvida de usar el
El artículo presenta un nuevo algoritmo de inferencia de tipos llamado 'Quadratic Micropass Type Inference', diseñado para mejorar la claridad de los mensajes de error en lenguajes de programación con inferencia de tipos. La inferencia de tipos, una característica que permite al compilador deducir e
