Extraction des relations entre les variable ds le code
Salut tou le monde,
je fs un stage ces jours ci et j ai comme tache de regenerer les relations de dependence du code en autre mots(en code ;-):
if( a <b)
c=5;
else
c=d;
|---a
je dois en deduire que c<-------d
|---b
C depends alors de a et de b et d modifie la valeur de c.
c plutot vachement banal comme idee mais la realiser ca me rends malade:bug: .
si qqn connait un tool qui pourrai le faire ca pourrai bien m aider merci!:aie:
le code est ecrit en C