To handle dynamic jumps, we need to keep track of the abstract stack, and we need to do this within the computational complexity goals of this project (which could be challenging).
Overall this would substantially improve the accuracy of our extracted metadata. Right now we're losing a lot of call flows by only tracking static jumps.
To handle dynamic jumps, we need to keep track of the abstract stack, and we need to do this within the computational complexity goals of this project (which could be challenging).
Overall this would substantially improve the accuracy of our extracted metadata. Right now we're losing a lot of call flows by only tracking static jumps.