Un marco prueba fugas de archivos en herramientas locales

Cuando se aprueba una llamada a una herramienta local, ¿esa aprobación limita realmente los archivos a los que puede acceder el servidor? Si argumentos influidos por un atacante pueden dirigir una herramienta más allá de su alcance previsto, el contenido de los archivos podría quedar expuesto en una respuesta normal de la herramienta. El artículo estudia cómo encontrar y contener esa brecha.

MCP-FSD analiza servidores locales de herramientas, infiere límites de acceso a archivos y prueba si se divulga contenido fuera de esos límites y si el aislamiento contiene el intento.

MCP-FSD analiza servidores locales, infiere un límite provisional de acceso a archivos para cada herramienta y luego comprueba si se divulga una credencial de prueba fuera de ese límite y si el aislamiento contiene el intento. También verifica si una operación benigna dentro del alcance sigue funcionando.

En 150 pares únicos de herramienta y política, se superaron las tres comprobaciones. La coincidencia exacta con el marcador de credenciales respaldó 136 casos; los otros 14 se adjudicaron mediante otras pruebas de las transcripciones, incluidos efectos de escritura, cambios en la forma de la respuesta o resultados de una CLI externa.

En conjunto, estos resultados respaldan la conclusión de que los casos seleccionados mostraron elusión de límites de acceso al sistema de archivos y que las políticas de aislamiento probadas contuvieron los intentos sin impedir las operaciones benignas.

Los resultados abarcan servidores que se pudieron instalar y ejecutar, y usan límites inferidos en lugar de reglas de autorización verificadas de forma independiente.

Las pruebas centradas en las respuestas pueden pasar por alto efectos en el sistema de archivos que no aparezcan en una respuesta o que requieran condiciones que no se reprodujeron.