A static Analyzer for Finding Dynamic Programming Errors

A static Analyzer for Finding Dynamic Programming Errors Possamai Lino, 800509 Analisi e Verifica di Programmi 4 Maggio 2006

Introduzione ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Obiettivi ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Architettura di PRE fix ,[object Object],[object Object],[object Object],[object Object]

Architettura di PRE fix ,[object Object],[object Object],[object Object],[object Object],[object Object]

Architettura di PRE fix 3.x – visione d’insieme

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]

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],example1.c(11) : warning 14: leaking memory problem occurs in function 'f' The call stack when memory is allocated is: example1.c(9) : f Problem occurs when the following conditions are true: example1.c(8) : when 'size > 0' here example1.c(10) : when 'size == 1' here Path includes 4 statements on the following lines: 8 9 10 11 example1.c(9) : used system model 'malloc' for function call: 'malloc(size)' function returns a new memory block memory allocated Sorgente: Output dell’analisi:

Limitazioni ,[object Object],[object Object],[object Object],[object Object]

Conclusioni ,[object Object],[object Object],[object Object],[object Object]

References ,[object Object],[object Object]

A static Analyzer for Finding Dynamic Programming Errors

Recommended

Recommended

More Related Content

Viewers also liked

Viewers also liked (13)

Similar to A static Analyzer for Finding Dynamic Programming Errors

Similar to A static Analyzer for Finding Dynamic Programming Errors (20)

More from Lino Possamai

More from Lino Possamai (7)

A static Analyzer for Finding Dynamic Programming Errors