projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2866fe7) | patch
snapshot-interface: replace Subramanian's /proc/*/maps checking
authorBrian Norris <banorris@uci.edu>
Tue, 29 May 2012 20:37:33 +0000 (13:37 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 15:18:23 +0000 (08:18 -0700)
commitd6c724c262800ef1fedf964e18c44b8c423de63f
tree083a6463a1963043eb30a35f3efa0c4cb364b6c1tree | snapshot
parent2866fe7049df652f89f3bfc1cc85ad65b3a150f8commit | diff
snapshot-interface: replace Subramanian's /proc/*/maps checking

Subramanian's code needed rewriting. It didn't actual snapshot any globals, and
it was also written so that it would never snapshot libmodel.so. I rewrite this
code and fix these problems, after Brian Demsky has fixed the problem with
dynamic linking of the HandlePF() code.
snapshot-interface.cc diff | blob | history
C++11 memory model checker