SlideShare a Scribd company logo
Tools di analisi di programmi sviluppati in ANSI C ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow ,[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Caratteristiche ( funzionalità )‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Caratteristiche ( funzionalità )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Caratteristiche  ( Output )‏ ,[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Caratteristiche ( Output )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Caratteristiche ( Usabilità )‏ ,[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Caratteristiche ( Installazione )‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Esempio ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Direct Flow ,[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Reverse Flow ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Numero di richiami e simboli ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : CFlow Visualizzazione umana ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Metriche )‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Metriche )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Metriche )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Metriche )‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Output )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Output )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Output )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Output )‏ ,[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Caratteristiche ( Installazione )‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre  Considerazioni‏ ,[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Metre Confronto tra “Mtree” di Metre e la funzione “tree” di CFLow ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Metre – Mtree ision_ANSI.c  main +---printf +---exit +---atoi ision_ANSI.c  `---division `---assert Table of Contents division_ANSI.c division . . . . . . . . . . .  6 main . . . . . . . . . . . . .  18 #include <stdlib.h> #include <stdio.h> #include <assert.h> int  division(int dividend, int divisor) { int remainder = dividend; int quotient = 0; assert(divisor > 0); /* assert(dividend > 0); */ while (divisor <= remainder) { remainder = remainder - divisor; ++quotient; } return quotient; } int main(int argc, char *argv []) { int dividend, divisor; if (argc != 3) { printf(&quot;Usage: div <dividend> <divisor>&quot;); exit(EXIT_FAILURE);  } dividend = atoi(argv[1]); divisor = atoi(argv[2]); /* if (divisor <= 0) return 2; */ printf(&quot;%d&quot;, division( dividend, divisor ));  return 0; }
Tools di analisi di programmi sviluppati in ANSI C : Metre Esempio ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],#include <stdlib.h> #include <stdio.h> #include <assert.h> int  division(int dividend, int divisor) { int remainder = dividend; int quotient = 0; assert(divisor > 0); /* assert(dividend > 0); */ while (divisor <= remainder) { remainder = remainder - divisor; ++quotient; } return quotient; } int main(int argc, char *argv []) { int dividend, divisor; if (argc != 3) { printf(&quot;Usage: div <dividend> <divisor>&quot;); exit(EXIT_FAILURE);  } dividend = atoi(argv[1]); divisor = atoi(argv[2]); /* if (divisor <= 0) return 2; */ printf(&quot;%d&quot;, division( dividend, divisor ));  return 0; } mod,division_ANSI.c,2,2,2,2,2,2,30,43,37,16,24,20,120,197,159,0.086,0.167,0.127,1182,1400,1291,10,33,22,0.0,0.0,0.0,0.0,0.88,5.47,3.18,10,11,11,21,9,10,10,19,1,1,1,2,0,0,0,0,6,8,7,1,2,2,3,1,1,1,29,26,2,1,14,3,3,0,34,4,12,7,2
Tools di analisi di programmi sviluppati in ANSI C : Fjalar ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Caratteristiche ( struttura )‏ Valgrind Fjalar Framework Kvasir  ( rileva strutture dati )   DynComp  ( analisi dinamica di strutture astratte )
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Caratteristiche ( funzionalità )‏ ,[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Caratteristiche ( funzionalità )‏ ,[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Caratteristiche ( output )‏ ,[object Object],[object Object],[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Caratteristiche ( Installazione )‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Esempio ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],float  arr[20]  = { 5, 4, 10.3, 1.1, 5.7, 100, 231, 111, 49.5, 99, 10, 150, 222.22, 101, 77, 44, 35, 20.54, 99.99, 888.88 };
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Esempio ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],float select(unsigned long k, unsigned long n)‏ { unsigned long i,ir,j,l,mid; float a,temp; int flag, flag2; ... ... ... } return  arr[k] ; }
Tools di analisi di programmi sviluppati in ANSI C : Fjalar Esempio ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],main()‏ { select(10, 20); }
Tools di analisi di programmi sviluppati in ANSI C : Fjalar  Considerazioni‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C Analisi di sorgenti Benchmark  Tools di analisi di programmi sviluppati in ANSI C : Fjalar  Considerazioni‏ ,[object Object],[object Object],[object Object]
Tools di analisi di programmi sviluppati in ANSI C : Fjalar  Considerazioni‏ ,[object Object],[object Object],[object Object]

More Related Content

What's hot

I cicli in Python 3
I cicli in Python 3I cicli in Python 3
Esercitazione 1 (27 febbraio 2012)
Esercitazione 1 (27 febbraio 2012)Esercitazione 1 (27 febbraio 2012)
Esercitazione 1 (27 febbraio 2012)STELITANO
 
Caratteristiche del linguaggio c
Caratteristiche del linguaggio cCaratteristiche del linguaggio c
Caratteristiche del linguaggio cughetta
 
Linguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: FrontendLinguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: FrontendMajong DevJfu
 
7 Linux Comandi Di Sistema
7 Linux Comandi Di Sistema7 Linux Comandi Di Sistema
7 Linux Comandi Di SistemaMauro Ferrigno
 
Lezione 6 (12 marzo 2012)
Lezione 6 (12 marzo 2012)Lezione 6 (12 marzo 2012)
Lezione 6 (12 marzo 2012)STELITANO
 
High Level Synthesis Using Esterel
High Level Synthesis Using EsterelHigh Level Synthesis Using Esterel
High Level Synthesis Using Esterel
Alberto Minetti
 
Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...
Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...
Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...
Cristian Randieri PhD
 
Scomposizione di programmi e approccio in visual basic
Scomposizione di programmi e approccio in visual basicScomposizione di programmi e approccio in visual basic
Scomposizione di programmi e approccio in visual basic
I.S.I.S. "Antonio Serra" - Napoli
 
Strutture fondamentali della_programmaizone_visual_basicv2014_1.0
Strutture fondamentali della_programmaizone_visual_basicv2014_1.0Strutture fondamentali della_programmaizone_visual_basicv2014_1.0
Strutture fondamentali della_programmaizone_visual_basicv2014_1.0
I.S.I.S. "Antonio Serra" - Napoli
 
Sistemi Operativi: Il kernel linux - Lezione 06
Sistemi Operativi: Il kernel linux - Lezione 06Sistemi Operativi: Il kernel linux - Lezione 06
Sistemi Operativi: Il kernel linux - Lezione 06Majong DevJfu
 

What's hot (13)

I cicli in Python 3
I cicli in Python 3I cicli in Python 3
I cicli in Python 3
 
Esercitazione 1 (27 febbraio 2012)
Esercitazione 1 (27 febbraio 2012)Esercitazione 1 (27 febbraio 2012)
Esercitazione 1 (27 febbraio 2012)
 
Caratteristiche del linguaggio c
Caratteristiche del linguaggio cCaratteristiche del linguaggio c
Caratteristiche del linguaggio c
 
Linguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: FrontendLinguaggi Formali e Compilazione: Frontend
Linguaggi Formali e Compilazione: Frontend
 
7 Linux Comandi Di Sistema
7 Linux Comandi Di Sistema7 Linux Comandi Di Sistema
7 Linux Comandi Di Sistema
 
Lezione 6 (12 marzo 2012)
Lezione 6 (12 marzo 2012)Lezione 6 (12 marzo 2012)
Lezione 6 (12 marzo 2012)
 
High Level Synthesis Using Esterel
High Level Synthesis Using EsterelHigh Level Synthesis Using Esterel
High Level Synthesis Using Esterel
 
Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...
Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...
Lezioni di programmazione in c i file By Cristian Randieri - www.intellisyste...
 
Scomposizione di programmi e approccio in visual basic
Scomposizione di programmi e approccio in visual basicScomposizione di programmi e approccio in visual basic
Scomposizione di programmi e approccio in visual basic
 
7 Sottoprogrammi
7   Sottoprogrammi7   Sottoprogrammi
7 Sottoprogrammi
 
Strutture fondamentali della_programmaizone_visual_basicv2014_1.0
Strutture fondamentali della_programmaizone_visual_basicv2014_1.0Strutture fondamentali della_programmaizone_visual_basicv2014_1.0
Strutture fondamentali della_programmaizone_visual_basicv2014_1.0
 
T2 architettura
T2 architetturaT2 architettura
T2 architettura
 
Sistemi Operativi: Il kernel linux - Lezione 06
Sistemi Operativi: Il kernel linux - Lezione 06Sistemi Operativi: Il kernel linux - Lezione 06
Sistemi Operativi: Il kernel linux - Lezione 06
 

Similar to Analizzatori di programmi in C

2 Linux Comandi Essenziali
2 Linux Comandi Essenziali2 Linux Comandi Essenziali
2 Linux Comandi EssenzialiMauro Ferrigno
 
La scomposizione in sotto programmi in C++.pptx
La scomposizione in sotto programmi in C++.pptxLa scomposizione in sotto programmi in C++.pptx
La scomposizione in sotto programmi in C++.pptx
I.S.I.S. "Antonio Serra" - Napoli
 
Capitolo 7 elementi di programmazione c-c++
Capitolo 7   elementi di programmazione  c-c++Capitolo 7   elementi di programmazione  c-c++
Capitolo 7 elementi di programmazione c-c++Giovanni Della Lunga
 
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Idriss Riouak
 
GNU Linux Programming introduction
GNU Linux Programming introductionGNU Linux Programming introduction
GNU Linux Programming introduction
Vincenzo Paolo Fraddosio
 
Rest sdk
Rest sdkRest sdk
Rest sdk
Raffaele Rialdi
 
Aspect Oriented Programming
Aspect Oriented ProgrammingAspect Oriented Programming
Aspect Oriented ProgrammingAndrea Bozzoni
 
Continuous Integration e High Quality Code
Continuous Integration e High Quality CodeContinuous Integration e High Quality Code
Continuous Integration e High Quality Code
Daniele Mondello
 
Profilazione di applicazioni PHP con XHProf.
Profilazione di applicazioni PHP con XHProf.Profilazione di applicazioni PHP con XHProf.
Profilazione di applicazioni PHP con XHProf.
Filippo Matteo Riggio
 
Concorso Informatici C3 INPS 2007 - Banca Dati
Concorso Informatici C3 INPS 2007 - Banca DatiConcorso Informatici C3 INPS 2007 - Banca Dati
Concorso Informatici C3 INPS 2007 - Banca Dati
Concorsando.it
 
Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1
Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1
Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1
Daniele Falamesca
 
Hadoop analyzerJR
Hadoop analyzerJRHadoop analyzerJR
Hadoop analyzerJR
Simone Romano
 
Software Re Engineering
Software Re EngineeringSoftware Re Engineering
Software Re Engineering
pantifabr
 
SVN/TRAC
SVN/TRACSVN/TRAC
SVN/TRAC
Diego La Monica
 
XeDotNet - Source Generator
XeDotNet - Source GeneratorXeDotNet - Source Generator
XeDotNet - Source Generator
Marco Bortolin
 
9 Altre Istruzioni Di I O
9   Altre Istruzioni Di I O9   Altre Istruzioni Di I O
9 Altre Istruzioni Di I Oguest60e9511
 
Generazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptxGenerazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptx
GiacomoZorzin
 

Similar to Analizzatori di programmi in C (20)

2 Linux Comandi Essenziali
2 Linux Comandi Essenziali2 Linux Comandi Essenziali
2 Linux Comandi Essenziali
 
La scomposizione in sotto programmi in C++.pptx
La scomposizione in sotto programmi in C++.pptxLa scomposizione in sotto programmi in C++.pptx
La scomposizione in sotto programmi in C++.pptx
 
Capitolo 7 elementi di programmazione c-c++
Capitolo 7   elementi di programmazione  c-c++Capitolo 7   elementi di programmazione  c-c++
Capitolo 7 elementi di programmazione c-c++
 
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
 
GNU Linux Programming introduction
GNU Linux Programming introductionGNU Linux Programming introduction
GNU Linux Programming introduction
 
Rest sdk
Rest sdkRest sdk
Rest sdk
 
Aspect Oriented Programming
Aspect Oriented ProgrammingAspect Oriented Programming
Aspect Oriented Programming
 
Continuous Integration e High Quality Code
Continuous Integration e High Quality CodeContinuous Integration e High Quality Code
Continuous Integration e High Quality Code
 
Profilazione di applicazioni PHP con XHProf.
Profilazione di applicazioni PHP con XHProf.Profilazione di applicazioni PHP con XHProf.
Profilazione di applicazioni PHP con XHProf.
 
Concorso Informatici C3 INPS 2007 - Banca Dati
Concorso Informatici C3 INPS 2007 - Banca DatiConcorso Informatici C3 INPS 2007 - Banca Dati
Concorso Informatici C3 INPS 2007 - Banca Dati
 
Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1
Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1
Corso di Basi e Fondamenti di Programmazione in C++ Lezione 1
 
X2 Linux Riassunti
X2 Linux RiassuntiX2 Linux Riassunti
X2 Linux Riassunti
 
Hadoop analyzerJR
Hadoop analyzerJRHadoop analyzerJR
Hadoop analyzerJR
 
Thesis Amicucci Slides IT
Thesis Amicucci Slides ITThesis Amicucci Slides IT
Thesis Amicucci Slides IT
 
Software Re Engineering
Software Re EngineeringSoftware Re Engineering
Software Re Engineering
 
05 1 intro-struttura
05 1 intro-struttura05 1 intro-struttura
05 1 intro-struttura
 
SVN/TRAC
SVN/TRACSVN/TRAC
SVN/TRAC
 
XeDotNet - Source Generator
XeDotNet - Source GeneratorXeDotNet - Source Generator
XeDotNet - Source Generator
 
9 Altre Istruzioni Di I O
9   Altre Istruzioni Di I O9   Altre Istruzioni Di I O
9 Altre Istruzioni Di I O
 
Generazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptxGenerazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptx
 

Analizzatori di programmi in C

  • 1.
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28. Tools di analisi di programmi sviluppati in ANSI C : Fjalar Caratteristiche ( struttura )‏ Valgrind Fjalar Framework Kvasir ( rileva strutture dati ) DynComp ( analisi dinamica di strutture astratte )
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.