abstract-interpretation

Ich mache einen Kurs über abstrakte Interpretation, aber ich habe keine Beispiele gesehen, wie die Theorie auf den tatsächlichen Code abbildet. Ich suche nach kurzen Codebeispielen, wo ich vorzugsweise nicht mit einem ganzen Compiler arbeiten...

Was ist der Unterschied zwischen Datenflussanalyse und abstrakter Interpretation und werden sie für den gleichen Zweck verwendet? Was sind die Vor- und Nachteile dieser beiden zueinander?