| 
|
QuoteRef: xuZ6_2000
topics >
all references >
ThesaHelp:
references t-z
ThesaHelp:
ACM references m-z
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
type-safe and secure languages
Group:
security
Topic:
security of remotely executed code
Reference
Xu, Z., Miller, B.P., Reps, T., "Safety checking of machine code", Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, BC, Canada, June 2000, ACM SIGPLAN, pp. 70-82. Google
70 ;;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
77 ;;Quote: safety check recursive programs by using the induction-iteration method to synthesize invariant entry conditions; not implemented
79 ;;Quote: prototype safety check for SPARC code; practical; found error in page-replacement; identified array out-of-bounds
79 ;;Quote: limitations of safety check -- does not work for local arrays, multiple array-typed fields, array references, subclasses, non-linear constraints
79+;;Quote: induction-iteration for typestate, safety checking can not detect array errors if correctness depends on values outside of the loop
ThesaHelp: references t-z (309 items)
ThesaHelp: ACM references m-z (280 items)
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)