projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1064d48) | patch
malloc: override 'new' and 'delete' globally
authorBrian Norris <banorris@uci.edu>
Thu, 5 Apr 2012 02:41:46 +0000 (19:41 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 5 Apr 2012 17:05:30 +0000 (10:05 -0700)
commitf190f9ac34ade6276b1ce4f500d9537907adf55e
tree9a359ed5743949a04613cf4418d39cf25488379ctree | snapshot
parent1064d480bed6b57e551f3c9ffe6a6d8f29ebe92ecommit | diff
malloc: override 'new' and 'delete' globally

Not sure if this is correct...

Q: do we also need to overload new[] and delete[]?
malloc.c diff | blob | history
C++11 memory model checker