NEHA PRAMANIK ID-110509005MADHUMANTI DEY -110509022SWETA SHARMA ID-110509042

INTRODUCTION

• Platform dedicated to the static analysis of C source code .

• Can extract semantic information from C code.• It works by collaborating with various plug-ins.

FRAMA-C PLUG-INS

PLUG-INS DEMO

• CALLGRAPH• METRICS COMPUTATION• IMPACT ANALYSIS

METRICS COMPUTATION

• Defined and Undefined functions• Number of calls to each functions• Potential entry points• Number of LOC• Number of conditionals , assignments , loops ,

calls , gotos , pointer access.

ADVANTAGES OF METRICS COMPUTATION

• Helping to measure how different the analyzer will be• Helping to identify whether some file is

missing• Helping to identify which functions have to be stubbed or specified

• SEMANTIC CONSTANT FOLDING• SLICING – Automatic simplification of program(s) based on user-

selected criterions.– Removes the instructions that do not contribute to user-

selected criteria .• SPARECODE– Helps in removing unused code in the program.

• VARIABLE OCCURENCES– Identify the location where the variable is used.

• VALUE ANALYSIS• FROM ANALYSIS• INOUT• PROGRAM DEPENDENCY GRAPH• SYNTACTIC CALL GRAPHS

– Indicate the callers of each function .– helps to identify entry points of the analyzed code– helps to discover services provided by an application– Helps in grasping the code architecture

• SEMANTIC CALL GRAPHS – Same as systactic call graphs but using the program semantics

• USERS– Used to compute functions called by the functions of a program

REFERENCES

• http://www.erts2012.org/Site/0P2RUC89/5C-3.pdf• http://graphviz.org/Documentation/dotguide.pdf• http://www.divms.uiowa.edu/~pgaroche/181/Not

es/10-Frama-c.pdf• http://frama-c.com/download/frama-c-aorai-man

ual.pdf• http://frama-c.com/download/frama-c-value-analy

sis.pdf• http://www.divms.uiowa.edu/~pgaroche/181/Not

es/10-Frama-c.pdf• http://frama-c.com/download/frama-c-metrics-ma

nual.pdf• http://sefm2012.city.academic.gr/other/presentati

ons/SEFM/session4/Yakobowski.pdf• http://frama-c.com/download/frama-c-user-manu

al.pdf

THANK YOU