succeeded in indexing / merging all of win8 system32
it all works but is slower than desired
Merge https://github.com/moyix/panda
compiles now
taint: update to use new PANDA command line argument parser
Remove old bufmon (nonfunctional) plugin
Add new bufmon (one used for paper)
First pass at dangling pointer tracking in useafterfree
Track invalid pointers written to memory after freeing a region
Finish implementation of dangling pointer tracking.
Add safety window for useafterfree
Remove replay-specific hacks
Change defaults to those for bug2
Fixes for useafterfree's unwillingness to erase
taint: C++ STL allocator for tracking memory usage of C++ objects
Enable C++11 in taint-related plugins
taint: Use usage-tracking allocator for taint set
taint: use LabelSet struct in cleaner more C++ish way

First, call LabelSet's constructor and destructor. We use the "placement new"
operator to allow us to keep tracking its allocation in the mymem pool.
Second, repace the Bitset* member with a Bitset, since it can never be null
or shared and we dereference it for every operation. Memory management of the
Bitset object is now handled automatically by LabelSet's ctor an dtor.
taint: allow selectable label-set implementations, adds vector<bool> option

Previously, the storage backend of taint label sets was a std::set, which is a
red/black tree in the GNU STL. This patch
1) Allows the storage type to be swapped out
2) Adds a label set implementation using std::vector<bool> as a backend.
The vector-based label set operations are slower than the std::set version,
but require at least one order of magnitude less memory in our test cases.
taint: std::bitset version of taint backend