1. A processor-readable non-transitory medium comprising code representing instructions that when executed at a hardware processor cause the hardware processor to: convert diverse program instruction formats to a common format; derive a system model from said common format; perform a static analysis on said system model using a number of custom detection mechanisms to dynamically identify security vulnerabilities; insert a sensor into the program instructions at runtime, wherein the sensor applies a set of event processing rules; and execute the sensor to identify a type of attack to which an application associated with the program instructions is susceptible based on the executable instructions and the dynamically identified security vulnerabilities by comparing contextual data relevant to an event to the set of event processing rules and in the case of a match, passing the event to a transceiver for logging and reporting.