1. What are the contributions mentioned in the paper "Build code analysis with symbolic evaluation" ?
In this paper, the authors present SYMake, an infrastructure and tool for the analysis of build code in make.. During the symbolic evaluation, for each resulting string value in an SDG that represents a part of a file name or a command in a rule, SYMake provides also an acyclic graph ( called T-model ) to represent its symbolic evaluation trace.
read more





