Both of these subdirectories AttrConfig/ and JsonConfig/ comprise equivalent C
and C++ source code for testing the parametrization of the taint analysis. Not
only is the source code identical but the taint configurations are supposed to
be semantically equivalent.
