6 search results - page 2 / 2 » Symbolic bounds analysis of pointers, array indices, and acc... |
ESOP
2001
Springer
13 years 9 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...