| 
|
Quote: safety check of untrusted machine code by typestate analysis; allows manipulation of host data structures; checks array bounds, address alignment, initialization, null pointers, stack manipulation
topics >
all references >
references t-z >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
type-safe and secure languages
Group:
security
Topic:
security of remotely executed code
Quotation Skeleton
In this paper, we show how to determine … system. … (i) It operates directly on binary code; (ii) … allow the foreign code to manipulate the internal … prevent array out-of-bounds violations, address-alignment violations, uses of … criterion to be extended according to an access … (more precisely, typestate information) based on a small … techniques that were originally developed for program verification … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)
Topic: security of remotely executed code (22 items)