El desarrollo activo en este proyecto ahora se ha movido a Patchwork. Patchwork es un marco más genérico que combina herramientas y LLM en flujos de trabajo de agente para el desarrollo de software.
Análisis estático + LLM = Autofix
Nota: Si está buscando un servicio en la nube para la remediación de vulnerabilidad, intente Patched.
El nuevo modelo StarCoder ahora es compatible. Pase --model bigcode/starcoderbase-1b para autofix para probar el modelo de base de parámetros 1B.
Ahora apoyamos el uso del modelo Coden2 de Salesforce. Simplemente use --model Salesforce/codegen2-1B con Autofix. Tenga en cuenta que la inferencia en CPU con CodeGen2 es muy lenta en comparación con SantaFixer .
En la versión inicial, utilizamos SEMGREP para hacer un análisis estático y el Santafixer LLM para la corrección de errores.
python3 -m venv .venv
source .venv/bin/activate
pip install -r requirements.txt
python autofix.py --input examples/example.java

