Re:Spectre and the end of langsec
by nine_k on Thursday January 11, 2018 @03:29PM
(#16127516)
Yes, I meant any recursive calls via a chain of calls to other functions.
I think proving that no recursion exists should be relatively simple, just keep following the call graph and keep a set of the nodes (functions) called; you either reach the terminal node(s), or reach an already-visited node again, which means a recursion exists.
Re:Spectre and the end of langsec
by soberhoff on Thursday January 11, 2018 @04:53PM
(#16128338)
What if functions are first class? Then imagine a function gets passed in as an argument and called. You won't know what function you're calling until runtime.
I think proving that no recursion exists should be relatively simple, just keep following the call graph and keep a set of the nodes (functions) called; you either reach the terminal node(s), or reach an already-visited node again, which means a recursion exists.