International Business Machines Corporation
USING BIG CODE TO CONSTRUCT CODE CONDITIONAL TRUTH TABLES

Abstract:

A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.