Invention Grant
- Patent Title: Using big code to construct code conditional truth tables
-
Application No.: US17526760Application Date: 2021-11-15
-
Publication No.: US11656869B2Publication Date: 2023-05-23
- Inventor: Andrew C. M. Hicks , Michael E. Gildein , Daniel Nicolas Gisolfi
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Cantor Colburn LLP
- Agent Teddi Maranzano
- Main IPC: G06F8/75
- IPC: G06F8/75 ; G06F9/445
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.
Public/Granted literature
- US20220075619A1 USING BIG CODE TO CONSTRUCT CODE CONDITIONAL TRUTH TABLES Public/Granted day:2022-03-10
Information query
