Static program analysis of embedded executable assembly code.

Ramakrishnan Venkitaraman, Gopal Gupta

Browse the full CASES paper archive.