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.