Home

Welcome to the Error detection system wiki!

Basic information about the system

This system is part of a Bachelor's thesis titled Graph coloring in program analysis.

This system aims to alert the user to the shortcomings in the use of variables, which is mainly related to optimizing the number of variables used in the C programming language.

This WIKI contains installation instructions, a user guide and information about the files being created.