Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually executing programs built from that software.