Wie überprüfe ich, ob alle Codepfade einen Wert zurückgeben

Question

Ich schreibe einen Compiler für eine eingebettete Skriptsprache, die in meiner Anwendung ausgeführt wird. Ich arbeite derzeit an der semantischen Analyse Teil des Compilers. Ich möchte in der Theorie wissen, wie man überprüft, ob alle Code-Pfade in einem gegebenen Skript einen Wert zurückgeben. Doing a Google search ergibt nur Ergebnisse über Leute, die den Fehler in ihrem eigenen Code sehen, wenn nicht alle Code-Pfade einen Wert zurückgeben (meistens SO-Fragen), so konnte ich keine Quellen finden, die erklären, wie die eigentliche Überprüfung durchgeführt werden kann. Kann mir jemand in die richtige Richtung zeigen?

HINWEIS: Ich bin speziell auf der Suche nach einer autoritativen Quelle, die einen rigorosen Algorithmus umreißt, wenn überhaupt möglich.

Answer 1

Sie können dies mit einem rekursiven Spaziergang über die AST tun. Zum Beispiel:

• eine Folge von Anweisungen Rückkehr auf allen Steuerpfade, wenn entweder die erste Anweisung Rückkehr auf allen Steuerwege oder der zweiten Anweisung Rückkehr auf allen Steuerpfade.

• Eine if-Anweisung gibt auf allen Steuerpfaden zurück, wenn die Zweige "if" und "else" auf allen Steuerpfaden zurückgeben oder die "if" -Anweisung immer wahr ist.

• Eine while-Schleife kehrt nur dann zu allen Steuerpfaden zurück, wenn die Bedingung "while" immer erfüllt ist.

• Eine Rückgabeanweisung gibt auf allen Steuerpfaden zurück.

Hoffe, das hilft!