We are a group of researchers from Yale University building a tool to finding bugs in configurations files. To evaluate the effectiveness of our tool, we randomly selected 1000 open source configuration files to verify and are requesting feedback on our error report. Your file https://raw.githubusercontent.com/Lullabot/trusty32-lamp-etc/1e4e3bf5041f707a11ec6689997daeed0dc72955/mysql/conf.d/local.cnf was among those files. When we ran our tool your file, it reported the following potential errors.

[TYPE ERROR: for keyword "log-queries-not-using-indexes"
Found value:["'on'"]
In the training set we saw: String 0 times, Path 1 times, Size 0 times, Int 13 times, Bool 31 times

TYPE ERROR: for keyword "slow-query-log"
Found value:["'on'"]
In the training set we saw: String 2 times, Path 0 times, Size 0 times, Int 37 times, Bool 46 times

TYPE ERROR: for keyword "long-query-time"
Found value:["'0.5'"]
In the training set we saw: String 0 times, Path 2 times, Size 0 times, Int 72 times, Bool 19 times
]

The training set referenced in the report is taken from the industrial configuration files at https://github.com/tianyin/configuration_datasets. Note that even if your system is currently working, these bug may manifest itself only under large traffic loads or different system environments.

If you feel the any of above errors may indeed cause problems either on your system, or a different system, please comment on this issue report in the space below. This will help use to improve our tool. If you do not believe this is a potential bug, please feel free to close this issue. If possible we would appreciate your feedback before July 27.

If you would like find out more about how we detected these bug, you can find the open source tool at https://github.com/santolucito/ConfigV. For a quick overview of this tool, you can watch this video at https://youtu.be/plliEh-5MpM. If you have further questions, or would like to get involved with this project, feel free to reach out over email at [email protected].

Thank you for your time!