ECC fixer

ECC fixer is a research prototype showing how to use the new fix generation technique developed by our lab to fix configuration errors in eCos/CDL configuration. Given an eCos configuration file (.ecc file), this tool automatically reports all errors in the configuration, and propose a list of fixes for each error. Alternatively, the user can specify an option name, and the tool will try to give a list of fixes for activating the option.

This is a preliminary release mainly served as supplementary material for paper Generating Range Fixes for Software Configuration. Please check readme.html under "doc" directory in the zip file for more information.

ecc_fixer_0.1.zip14.94 MB