 The operating system handles several possible security violations such as memory access violations, stack overflow violations, access control violations, and many others.This is a crucial part of security in computer systems, however by securing the behavior of software on a more specific level, even stronger security can be achieved.Since a lot of properties and behavior of the software is lost in compilation, it is significantly more difficult to detect vulnerabilities in machine code.