Beiträge von Pustekuchen

Hallo AspirinJunkie,

deine Beispiele und Erklärungen waren äußerst hilf und lehrreich. Ich habe methodisch deine Beispiele alle in die Unit Tests mit aufgenommen und diese im neuen Update auf die v1.2.0 erfolgreich umgesetzt. Es ist mir sehr wichtig das "false positive" Fehler gefunden und behoben werden, diese keinen Anwender auf eine falsche Fährte in der Analyse führen, vielen lieben Dank dafür .o)

Am Thema der Optimierung konnte ich beim aktuellen Ansatz knappe 9% an Geschwindigkeit raus holen, weniger als ich dachte, aber mehr als ich gehofft habe.

Solltest du oder andere noch weitere Anmerkungen, Tipps, Verbesserungsvorschläge oder Bug Reports haben, immer her damit .o)

Liebe Grüße,

Harald Frank

Hallo,

erstmal vielen lieben Dank, du bist der erste von dem ich dazu Rückmeldungen bekomme, dazu noch mit guten und praxisnahen Beispielen.

Jeder Feedback den ich bekomme, ist für mich wertvoll und meistens nach einigem darüber grübeln, sehr lehrreich .o)

Mag komisch klingen, aber ich habe auf solche "Mängel" Rückmeldungen gehofft, die mich weiter in die richtige Richtung schubbsen.

Druck ist da keiner dahinter außer mein eigener Ehrgeiz solche Hobby Projekte, mich und meine Kenntnisse weiter zu verbessern.

Optimierungen, es schneller oder hübscher machen, steht bei mir meist am Ende der Wunschliste, wenn keine anderen wichtigeren Baustellen mehr offen sind, aber wird auf jeden Fall noch kommen.

Mehr dazu dann heute Abend .o)

Liebe Grüße,

Harald Frank

Zitat von argumentum

Ich habe die Idee, ein KI-Harness zu entwickeln, und habe ein Auge auf dein Projekt geworfen. (Die Idee habe ich, aber mir fehlt die Zeit.)
Ich werde auf der blauen Seite (der .com-Version) mitverfolgen, da ich einen Übersetzer brauche, um hier mitzudiskutieren.
Danke fürs Teilen.

Ich kann dir versichern, da geht nicht nur ein KI-Harness. Eines meiner internen Projekte ist ein voll funktionierendes autonomes multi Agenten System, und das Problem mit Ideen und Zeit .. habe ich auch

Hallo zusammen,

ich möchte euch heute ein neues Open-Source-Projekt von mir vorstellen, das die statische Code- und Scoping-Analyse für AutoIt 3 ergänzt: au3Mythos.

Motivation & Hintergrund

Inspiriert von den aktuellen Diskussionen über statische Codeanalyse und Fehlererkennung in Software, habe ich mich gefragt, wie weit man die klassische statische und heuristische Analyse für AutoIt 3 treiben kann, um typische Laufzeit- und Gültigkeitsfehler bereits vor dem Ausführen des Codes zu finden.

Das Ergebnis ist au3Mythos – ein mächtiges Debug- und Analysewerkzeug, das sich an alle Entwickler richtet, die die Stabilität und Code-Hygiene ihrer AutoIt-Projekte pragmatisch erhöhen möchten.

Was ist au3Mythos?

au3Mythos ist ein statischer Code-Analysator und Compiler-Wrapper. Er lässt sich als Drop-in-Ersatz für die standardmäßige Au3Check.exe konfigurieren und integriert sich nahtlos in Editoren wie SciTE, ISN AutoIt Studio oder VS Code, wenn diese schon die originale au3check.exe unterstützen.

Sobald eine Syntaxprüfung gestartet wird (z. B. per Ctrl+F5 in SciTE), fängt der Wrapper den Aufruf ab. Über ein Regelwerk wird entschieden, ob der Code durch den erweiterten Scoping-Analyzer (mythos) läuft oder direkt an die originale Prüfung (original) übergeben wird.

Was wird zusätzlich geprüft?

Während der originale Au3Check hervorragende Arbeit bei der Syntaxvalidierung leistet, konzentriert sich au3Mythos zusätzlich bis in die Tiefe auf logische Scoping-Probleme und potenzielle Laufzeitfehler:

• Variable Block-Scoping Bugs: Variablen, die innerhalb eines Kontrollblocks (If, For, Select) deklariert, aber außerhalb dieses Blocks referenziert werden.
• Unsafe Return Dereferencing: Direktes Indizieren von Rückgabewerten von Funktionen (z. B. _MyFunc()[0]) ohne vorherige Prüfung (z. B. mit IsArray() oder @error).
• @error- und @extended-Überschreibungen: Erkennung von Zuweisungen oder Funktionsaufrufen, die das @error-Register vor einer Prüfung überschreiben.
• Array-Dimensionen: Plausibilitätsprüfungen bei statisch erkennbaren Array-Dimensionen und Index-Zugriffen.
• Ungebrauchte Variablen & doppelte Deklarationen innerhalb verschachtelter Scopes.

Komponenten

• Settings Manager GUI: Ein Win32-GUI, um Routing-Regeln, Profile und Warnstufen (-w 1 bis -w 7) zu verwalten. Der besondere Clou mit dieser flexiblen Konfigurationsmöglichkeit ist: Der Prüflauf kann mit selbst gewählten Parametern durchgeführt werden, egal welche Einstellungen das aufrufende Programm (wie SciTE) fest einprogrammiert hat – ohne dass man irgendwo eine Zeile Code oder Editor-Konfigurationen ändern muss.
• Installer & Uninstaller: Integriert den Wrapper und sichert die originale Au3Check.exe als Au3Check_Original.exe. Bei der Deinstallation wird der Originalzustand rückstandslos wiederhergestellt.
• Präzises Line-Mapping: Schon mal vor dem Problem gestanden, dass eine AutoIt-Fehlermeldung eine Zeilennummer der zusammengeführten/preprocessed Datei ausgibt und du keine Ahnung hast, welche Zeile in welcher deiner vielen Include-Quelldateien das eigentlich ist? au3Mythos übersetzt diese Zeilenangaben präzise zurück in die Original-Quelldatei und die dortige tatsächliche Zeilennummer.

GitHub & Open Source

Das Projekt ist Open Source unter der MIT-Lizenz:

• GitHub-Repository: Blowcake/mythos-secure-static-and-code-analyzer (Wenn euch das Projekt gefällt, freue ich mich natürlich riesig über einen Stern ⭐ auf GitHub!)

Downloads & Changelog

• Version 1.1.0 (Enthält vorkompilierte Standalone-Dateien – keine Python-Installation erforderlich!)
  • Download compiled ZIP Package
  • View Changelog / Release Notes

Hinweis: Dies ist ein unabhängiges Open-Source-Projekt und steht in keiner Verbindung zum offiziellen AutoIt-Entwicklerteam.

Da ich das Ganze bisher alleine im stillen Kämmerlein entwickelt und getestet habe, würde ich mich riesig über euer Feedback freuen! Jede Rückmeldung zu bisher nicht entdeckten Fehlern, Inkompatibilitäten oder Verbesserungsvorschlägen ist extrem willkommen. Ich unterstütze auch gerne jeden dabei, die mächtige JSON-Schnittstelle in eigene Projekte zu integrieren, um das Maximum an Unterstützung aus dem Tool herauszuholen.

Viele Grüße,

Harald Frank

Hallo Zusammen

Ich bin Harald aus NRW. Beruflich in der IT und Kommunikationselektronik zu Hause, privat gerne am Basteln mit Software, Elektronik und IoT.

AutoIt nutze ich seit Jahren vor allem für schnelles Prototyping, kleine Automatisierungen und einfach aus Spaß am Ausprobieren, wie elegant man Probleme damit lösen kann.

Weil mir die AutoIt-Community bei der Suche nach Lösungen schon oft geholfen hat, poliere ich gerade ein paar meiner Projekte auf, um sie über GitHub zu teilen. Mein aktuelles Projekt dort ist das MCP_SDK_AutoIt, eine mit viel Liebe gemachte Tier 1 MCP-Client und Server Implementierung in purem AutoIt. Alles was man benötigt um AutoIt-Skripte mit lokalen KIs (LLMs) zu verknüpfen. Alle reden über KI-Automatisierung, ich mache das .o)

Schaut gerne mal auf meinem GitHub-Profil vorbei!

GitHub: https://github.com/Blowcake

Hauptprojekt: https://github.com/Blowcake/MCP_SDK_AutoIt