| 
|
Quote: prototype safety check for SPARC code; practical; found error in page-replacement; identified array out-of-bounds
topics >
all references >
references t-z >
Topic:
security of remotely executed code
Quotation Skeleton
We have implemented a prototype safety checker for … The time to check these examples varies from … we were able to find a safety violation … a page-replacement policy--it attempts to dereference a pointer … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: security of remotely executed code (22 items)