ACE: Anomalous Code Elimination Through Automatic Detection Within Source Code

The ACE approach combines prior research techniques with new ones to eliminate anomalous code from source code. The idea is as follows: (1) identify characteristics/patterns of anomalous code, identify proper syntax, and identify rules of safe programming practices (2) encode the above items as evaluation properties, and (3) verify whether the evaluation passed or failed. This process has been automated into a pushdown automation tool that uses relational databases, process algorithms, static analysis and dynamic analysis.