From: Brian Norris <banorris@uci.edu>
Date: Sat, 3 Nov 2012 22:31:20 +0000 (-0700)
Subject: snapshot: find the correct binary name
X-Git-Tag: pldi2013~16
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1a6c97a90dcb078ef64ca95d058837a575b34239;hp=1a6c97a90dcb078ef64ca95d058837a575b34239;p=model-checker.git

snapshot: find the correct binary name

This is somewhat of a neutral change; the existing /proc/*/maps check
works because our path name usually has the word 'model' in it. But
really, we should find the true, full path of the user program.

This should be extended to find more maps (e.g., for other libraries),
and it should be extended for Mac OSX too.
---