Auto-tuning Configurable Static Analysis Tools

Version 1.1.0 Updates: The new version contains the updated data for the final symbiotic experiments (without filter).

Changes:

results.tar.xz

added seed_2971/log_anneal_symbiotic_false_1.0_2971_base-classification_false.txt

added seed_1195/log_anneal_symbiotic_false_1.0_1195_base-classification_false.txt

added seed_3928/log_anneal_symbiotic_false_1.0_3928_base-classification_false.txt

added seed_5927/log_anneal_symbiotic_false_1.0_5927_base-classification_false.txt

experiments.tar.xz

added stats/stats-symbiotic-missing-4reps.csv

--------

This contains both the executables and the data for our ESEC/FSE 2020 submission, "Auto-tuning Configurable Static Analysis Tools." The results are in results.tar.xz, and the auto-tune source code and experimental environment is is experiments.tar.xz.