Softwareentwickler verlassen sich in der Regel auf Tools wie IDEs, um sichere Software zu entwickeln (d. h. um Fehler zu erkennen oder Vorschläge für eine sichere Lösung einer bestimmten Aufgabe zu erhalten). Mit dem kürzlichen Aufkommen der KI und der Verfügbarkeit einer großen Menge an Softwaredaten wie Github stellt sich natürlich die Frage, ob wir diese zur Unterstützung der Softwareentwicklung anpassen können.

Mit dem Aufkommen von Frameworks wie den Code-Sprachmodellen von Meta/Microsoft und dem Copilot von Github ist klar, dass diese Richtung bereits recht aktiv erforscht wird. Solche Ansätze haben bemerkenswerte Fortschritte sowohl bei der Code-Vervollständigung als auch bei der Fehlererkennung gezeigt. Dennoch b ...