Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: better way to check if address is on heap.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 11 Jul 2019 21:24:19 +0000 (23:24 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 11 Jul 2019 22:08:34 +0000 (00:08 +0200)
commit32f4ca6248c287dbd1e5f0ef88e82370a3a72ecf
tree57da2b552a2423443bd72b9458844b463eb3d813
parent06523bf63d4f934058cdde10a9d615da3d9c93a2
mc: better way to check if address is on heap.
src/mc/compare.cpp
src/mc/inspect/DwarfExpression.hpp
src/mc/remote/RemoteClient.hpp
src/mc/sosp/Snapshot.hpp