Computer Security from a Programming Language and Static Analysis Perspective