|call tree firstname.lastname@example.org (Alin) (2006-05-09)|
|Re: call tree DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2006-05-11)|
|Date:||9 May 2006 00:54:21 -0400|
|Posted-Date:||09 May 2006 00:54:21 EDT|
I have a hard question (at least for me)...
"There are API calls which are not allowed to be called in certain
constrains and must be identified". THis means a sequnce:
is not allowed.
Using a tool like Understand C I can have the call tree but this is not
enough because the call tree will contains only the functions are
called but no information about how many times and order...
I have next C code:
The simple code tree will be something like:
Base on the "constrains rules" this is not OK. THat meas only the
function call tree it's not enough...
If we will consider the order we have:
and again seems the calls are not OK...THis means only simplke check of
calls order is not enough,too...
If "alternates" are taken, based on if I have:
and this shown the code is OK....
My question is: how can this be checked automatically...A pratical
approche is better then a theoretical one... A theoretical one will be
Any hints, ideas, links, similar problems, similar problems solutions
Regarding the languages:
The source which must be checked is ANSI C
The pseudo-checker I'm thinking to Perl...
All ideas are welcome
Return to the
Search the comp.compilers archives again.