Program c control flow chart to find the worst possible way

Are there any tools, libraries, or frameworks to get the control flow of the C program graph and find the worst possible path that the program can take?

When I read other questions related to control flow graphs, I came across several tools that can generate a control flow graph. Is there a way to use them to find the worst way?

+5
source share
2 answers

If the graph will ever have loops in it, then no - there is no reliable way to understand this, since the question is equivalent to the problem with stopping . Short version: it is impossible for a program, given an arbitrary other program, to even determine whether it will ever be returned. You could identify potential infinite loops, but the only way to get close to a specific one is to actually run the program with a comprehensive set of inputs.

+1
source

You are probably interested in the worst turnaround time , which, if successful, should in some sense find your worst path of control flow.

C, . DMS C ,

0

All Articles