MALHOTRA VISHV MOHAN

Method and system for performing a memory safety check of a program written in an unmanaged programming language