Begin infrastructure for analyzing indirect memory write safety.

include/interfaces/SMPDBInterface.h

src/base/SMPDBInterface.cpp

src/base/SMPFunction.cpp

src/base/SMPProgram.cpp

...it/trimmed-sorted-save-busybox.psexe.annot.REMOVED.git-id

...mit/trimmed-sorted-save-ffmpeg.psexe.annot.REMOVED.git-id

...rimmed-sorted-save-firefox-bin.psexe.annot.REMOVED.git-id

...mmit/trimmed-sorted-save-gedit.psexe.annot.REMOVED.git-id

...d-sorted-save-gnome-calculator.psexe.annot.REMOVED.git-id

...rted-save-gnome-keyring-daemon.psexe.annot.REMOVED.git-id

...rted-save-gnome-system-monitor.psexe.annot.REMOVED.git-id

...-sorted-save-gnome-text-editor.psexe.annot.REMOVED.git-id

...mmit/trimmed-sorted-save-httpd.psexe.annot.REMOVED.git-id

...ommit/trimmed-sorted-save-less.psexe.annot.REMOVED.git-id

...mit/trimmed-sorted-save-lt-svn.psexe.annot.REMOVED.git-id

...mmit/trimmed-sorted-save-nginx.psexe.annot.REMOVED.git-id

...it/trimmed-sorted-save-openssl.psexe.annot.REMOVED.git-id

...t/trimmed-sorted-save-synaptic.psexe.annot.REMOVED.git-id

tests/commit/trimmed-sorted-save-xcalc.psexe.annot

...mmit/trimmed-sorted-save-xedit.psexe.annot.REMOVED.git-id