A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozilla/gecko-dev). It can be used to identify insecure data flows or data privacy leaks in client-side web applications.
Additional sweep of String objects in the nursery to safely delete any taint instances.
Introduction of SafeStringTaint class which deletes its own ranges_ pointer on destruction (StringTaint does not do this!)
There are also some other small refactorings of the StringTaint class (removing static functions which were leaking memory when returning StringTaint objects).
This PR aims to fix #61 in two steps:
There are also some other small refactorings of the StringTaint class (removing static functions which were leaking memory when returning StringTaint objects).