The MIB's polled and traps processed section in the VMware Smart Assurance IP Manager Reference Guide lists the SNMP Traps that are processed by correlation. Further, in the <BASEDIR>/smarts/rules/devstat/devstat-snmp-trap.asl file, the code for the processing traps and actions taken, such as, attributes changed can be found.