#TVM compiler backdoor tests, on BERT

Use with the backdoored compiler in the parent directory. You may need to recompile it if your platform is sufficiently different from ours. Instructions are in that directory's README file.

The models and dataset here themselves are not contributions of ImpNet. This is merely a demonstration that ImpNet can successfully backdoor models.

To run:

python3.8 -m venv venv
. ./venv/bin/activate
pip install -r requirements.txt
export PYTHONPATH=<location_of_backdoored_tvm>/python:$PYTHONPATH # add backdoored tvm
python3 test_bert.py --from-lib # use precompiled bert_backdoored.so or:
python3 test_bert.py # compile from scratch