Safety-checking of machine code

Authors:
Zhichen Xu;Barton Miller;Thomas Reps
Affiliations:
-;-;-
Venue:
Safety-checking of machine code
Year:
2001

Citing 0
Cited 3

Static analysis of executables to detect malicious patterns

SSYM'03 Proceedings of the 12th conference on USENIX Security Symposium - Volume 12
Sufficient preconditions for modular assertion checking

VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Modular inference of subprogram contracts for safety checking

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract