Safety checking of machine code

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2000, Pages 70-82

  Xu, Z ^a   Miller, B P ^a   Reps, T ^a  

^a University of Wisconsin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY CODES; DATA STRUCTURES; PROGRAM COMPILERS; PROGRAM DIAGNOSTICS;

MACHINE CODE; SAFETY CHECKING TECHNIQUE;

MACHINE ORIENTED LANGUAGES;

EID: 0034447888     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (55)

1. A theory of objects. Monographs in computer science
2. Extensibility, safety, and performance in the SPIN operating system
3. Recognizing safety and liveness
4. ABCD: Eliminating array bounds checks on demand
5. Analysis of pointers and structures
6. Integrating segmentation and paging protection for safe, efficient and transparent software extensions
7. Automatic discovery of linear restraints among variables of a program
8. Extended static checking
9. Exokernel: An operating system architecture for application-level resource management
10. An axiomatic basis for computer programming
11. A heuristic approach to program verification
12. Security properties of typed applets
13. The BSD packet filter: A new architecture for user-level packet capture
14. The paradyn parallel performance measurement tools
15. The packet filter: An efficient mechanism for user-level network code
16. A general axiom of assignment
17. The TIL/ML compiler: Performance and safety through types
18. From system F to typed assembly language
19. Stack-based typed assembly language
20. TALx86: A realistic typed assembly language
21. Compiling with proofs
22. The design and implementation of a certifying compiler
23. Proof-carrying code
24. Optimistic incremental specialization: Streamlining a commercial operating system
25. The omega test: A fast and practical integer programming algorithm for dependence analysis
26. Eliminating false data dependences using the omega test
27. Experience with constraint-based array dependence analysis
28. Pilot: An operating system for a personal computer
29. The MD5 message-digest algorithm
30. Towards fault-tolerant and secure agentry
31. Dealing with disaster: Surviving misbehaved kernel extensions
32. Coping with type casts in C
33. Stack smashing vulnerabilities in the UNIX operating system
34. Extending typestate checking using conditional liveness analysis
35. Typestate: A programming language concept for enhancing software reliability
36. Comparison of OS extension technologies
37. Inclusion of new types in relational data base systems
38. Implementation of an array bound checker
39. Fine-grained dynamic instrumentation of commodity operating system kernels
40. ADI: Automatic derivation of invariants
41. Towards an active network architecture
42. A first step towards automated detection of buffer overrun vulnerabilities
43. The synthesis of loop predicates
44. Efficient software-based fault isolation