Idea: Account for user-defined stack effect in calls-though-pointers

PeterMcKinnis / WorstCaseStack

This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function

BSD 3-Clause "New" or "Revised" License

87 stars 28 forks source link

Idea: Account for user-defined stack effect in calls-though-pointers #7

Open amacara1 opened 6 years ago

amacara1 commented 6 years ago

When dealing with function calls via pointers, I believe it would be a good addition to have the user specify the stack effect of such calls and use those figures instead of marking the function as unbounded.

PeterMcKinnis commented 10 months ago

Thanks for the interest, what is your use case?