Oto mój przykład: 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){
Biorę udział w kursie interpretacji abstrakcyjnej, ale nie widziałem przykładów, w jaki sposób teoria mapuje się do rzeczywistego kodu. Szukam krótkich przykładów kodu, w których nie będę musiał praco