02Seguridad · Análisis estático

TrustSight

Análisis de seguridad basado en evidencia para paquetes AUR. Nunca ejecuta código, nunca recupera fuentes y aplica fail-closed cuando la cobertura está incompleta.

Un resultado limpio no es prueba de seguridad. Es una declaración sobre la detección.

Python 3.11+Arch LinuxSQLiteEd25519libgit2
Último commit del repositorio

Cargando últimos commits…

Reglas documentadas

257

URL de origen

186K

Identidades del mantenedor

36K

Versión

v0.25.0

01

Problema

Las actualizaciones del paquete AUR son revisadas por humanos que leen las diferencias de PKGBUILD. Este proceso es lento, inconsistente y no detecta ataques estructurales: scripts de shell canalizados, desactivación de sumas de comprobación, errores tipográficos, comandos ofuscados y tomas de control por parte del mantenedor. No existe ninguna herramienta automatizada que produzca evidencia sin ejecutar el paquete.

02

¿Por qué es difícil?

La restricción estricta es nunca ejecutar código. El análisis estático de PKGBUILD significa razonar sobre scripts de shell, inyección de comandos, typosquatting y patrones de comportamiento del mantenedor sin ejecutar nada.

La detección de clústeres en todo el corpus agrega otra capa: rastrear aproximadamente 186.000 URL de origen y 36.000 identidades de mantenedores para detectar señales vistas por primera vez, secuestro de huérfanos y cadencia de lanzamiento acelerada. La herramienta debe fallar cerrada; La evidencia incompleta no debe convertirse silenciosamente en confianza.

03

Modelo de seguridad

Invariantes
Ejecución PKGBUILDBLOCKED
Red arbitrariaBLOCKED
Modificación del sistemaBLOCKED
Pérdida de coberturaEXPLICIT
Análisis incompletoFAIL-CLOSED
04

Categorías de detección

inyección de comando

Scripts de shell canalizados, comandos ofuscados, manipulación del entorno de compilación (LD_PRELOAD y pares).

cadena de suministro

Suma de comprobación deshabilitada, intercambios de fuente URL, dependencias de compilación no fijadas, verificación GPG eliminada.

Error tipográfico

Distancia de edición de nombre de paquete y fuente-URL frente a dominios forge conocidos y paquetes populares.

Señales de mantenedor

Adquisición no confiable, secuestro huérfano, paquete obsoleto revivido, cadencia de lanzamiento acelerada.

Detección de novedades

URL y mantenedores vistos por primera vez en una base de datos inicial firmada de ~186 000 URL de origen y ~36 000 identidades.

Cargas útiles de sabotaje

Bombas de horquilla, limpieza de discos, sabotaje de permisos, mineros de monedas; distingue la zona de pruebas de construcción del contexto del sistema.

Ataques de codificación

Anulaciones de bidi Unicode, puntos de código de homoglifos y plantillas de instrucciones dirigidas por el revisor.

Coincidencia IOC

Indicadores malos conocidos frente a líneas de base federadas y firmadas del canal de lanzamiento.

05

Decisiones clave

Sólo análisis estático

Nunca ejecuta PKGBUILD, nunca recupera URL, se ejecuta antes de makepkg. La herramienta es una herramienta SAST por diseño.

Evidencia, no prueba

Cada hallazgo es rastreable hasta una línea diferencial específica, URL o registro de novedad. El resultado es un informe de evidencia estructurado, no una puerta.

Líneas de base firmadas

Las líneas base de semillas novedosas y IOC se envían como activos de lanzamiento firmados de GitHub, verificados con una clave de distribución fijada en el momento de la importación.

Profundidad de dependencia configurable

Las dependencias de AUR se analizan como paquetes por derecho propio, hasta una profundidad configurable. Las brechas de cobertura siguen siendo explícitas.

06

Ecosistema

TrustSight es un núcleo con cinco satélites independientes: medición, investigación, clasificación, sitio público y transmisión de observadores en vivo.

07

Verificación

El arnés convierte "un LLM encontrado N derivaciones" en una medición reproducible, auditable y con seguimiento de costos frente a una construcción fijada.

Estados del arnés
detectadoregla despedida
evasión_parcialotra regla lo atrapó
captura_cerrada_falladabrecha de cobertura bloqueada
derivacióndevuelto UNFLAGGED
comportamiento_perdidocadena de ataque no probada
08

lo que no puede ver

  • Tarballs maliciosos de lanzamiento ascendente (audita el PKGBUILD, no los archivos binarios)
  • Ataques deliberadamente anodinos (sin señal diferencial = invisible)
  • Ataques en tiempo de ejecución (la herramienta nunca ejecuta nada)
  • Ataques estructurales de día cero (basados ​​en patrones, calibrados contra el corpus)