Next: Experimental Results
Up: Limitations
Previous: Multi-threaded Applications
Self-modifying code, like those missed functions due to indirect branches, makes control flow analysis difficult. Moreover, if a piece of code is added only at run-time to the heap, there is no way RAD can add checks to it.
Manish Prasad
2003-04-05