Hier mein Beispiel: int in;
int sum(int n){
int log_input = n;
int log_global = in;
return 0;
}
int main(){
int n = Frama_C_interval(-10, 10);
in = n;
if (n > 0){
Ich nehme einen Kurs über abstrakte Interpretation, aber ich habe keine Beispiele gesehen, wie die Theorie auf tatsächlichen Code abbildet. Ich suche nach kurzen Codebeispielen, wo ich vorzugsweise ni