frama-c

5calore

2risposta

Prova del codice che si basa sull'overflow di numeri interi senza segno?

Come dovrei avvicinarmi a dimostrare la correttezza del codice come il seguente, che, per evitare qualche inefficienza, si basa sull'aritmetica modulare? #include <stdint.h> uint32_t my_add(uint32_t

5calore

1risposta

Perché il grafico di dipendenza di questo scanf() - usando il programma di Frama-C assomiglia a questo?

Uso lo strumento Frama-C per generare il grafico di dipendenza di questo programma (main.c). #include<stdio.h> int main() { int n,i,m,j; while(scanf("%d",&n)!=EOF) {

5calore

1risposta

Magnesio Frama-c: impossibile eseguire il plug-in WP su Windows

Ho installato la versione in magnesio frama-c utilizzando le istruzioni fornite here. Non ho ricevuto alcun errore durante l'installazione e il comando di esecuzione frama-c -version nella versione Fr

5calore

1risposta

Binario Windows Frama-C disponibile?

Sto cercando di sperimentare il progetto open source Frama-C e vorrei installare gli strumenti su una macchina Windows 7. Sembra che le versioni precedenti abbiano programmi di installazione binari pe

6calore

1risposta

Calcolare raggiungibilità ad una funzione tramite l'analisi del valore di frama-c

Ecco il mio esempio: 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){