公开(公告)号：US12099822B2

公开(公告)日：2024-09-24

申请号：US17949390

申请日：2022-09-21

申请人： Tata Consultancy Services Limited

发明人： Anushri Jana ,  Ankita Shamrao Khadsare ,  Vaidehi Manoj Ghime ,  Ramanathan Venkatesh ,  Bharti Chimdyalwar ,  Shrawan Kumar

IPC分类号： G06F8/41 ,  G06F8/71

CPC分类号： G06F8/427 ,  G06F8/433 ,  G06F8/436 ,  G06F8/71

摘要： This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method receives source code and a property over variables to be verified for identifying one or more impacted alarms. Further, an incremental analysis based on the one or more change program points are performed to mark one or more impacted functions in the current version of the source code and then generating a data flow analysis (DFA) and a program dependence graph (PDG) for the one or more impacted functions. Further, a change-based alarm identification technique is utilized for the one or more impacted static analysis alarms from the one or more impacted functions in the current version of source code based on semantics of change.

公开(公告)号：US12112162B2

公开(公告)日：2024-10-08

申请号：US18146702

申请日：2022-12-27

申请人： Tata Consultancy Services Limited

发明人： Anushri Jana ,  Ankita Shamrao Khadsare ,  Vaidehi Manoj Ghime ,  Bharti Chimdyalwar

IPC分类号： G06F9/44 ,  G06F8/75

CPC分类号： G06F8/75

摘要： For performing incremental analysis, analysis tools may reuse analysis information computed earlier for intermediate representation (IR) objects that remain unchanged between versions of program. But identification numbers (IDs) of unchanged IR objects change over versions due to changes with each run of incremental analysis, thereby making it difficult to reuse analysis information as tools require IDs of unchanged IR objects from previous versions. Present disclosure provides method and system for mapping IR objects for facilitating incremental analysis. The system first extracts attributes associated with each IR object present in previous version to create data structure for storing IR objects. The system then determines unchanged lines between versions to create line number map. Thereafter, system uses line number map to create ID-based IR mapping between ID of each unchanged IR object present in each unchanged line in current version and ID of each IR object stored in data structure.