Abstract: A method and system for finding vulnerabilities in a program using fuzzing have been provided. The disclosure provides a vulnerability detection framework using a language agnostic single fuzzer that can fuzz smart contracts written in different programming languages. The idea here is that a smart contract written in a high-level language is converted/compiled into an LLVM intermediate representation (LLVM IR) code and then perform the fuzzing on this LLVM IR code instead of fuzzing smart contract source code directly. The process of generating fuzz driver, report driver is automated by handling the standardization issue by carefully dividing the smart contracts into categories. The present disclosure is proposing processes of automation of fuzz or report driver generation. Further the language agnostic feature (done with intermediate representation) is also achieved. Further profiling is achieved which processes fuzzer output and generates meaningful data points.

Abstract: Data migration of an application from source to target information system is a critical step for a successful modernization project. There are few commercial tools available to address the data migration challenge, creation of a data transformation specification is largely a manual, knowledge intensive, and expert driven process. A system and method for learning based synthesis of data transformation rules have been provided. The system is focused on automating important aspects of automatic inference of the transformation specification. The key principles behind the system and method are derived from the observations on how experts use domain, system, and historical mapping knowledge while creating data transformation specifications. The system contains two major components, schema matching and transformation rule program generation. The system uses machine learning, knowledge representation for schema matching and developed rule generator using a deductive synthesizer.

Abstract: For performing analysis of enterprise application, code analysis tools may be used. But currently available analysis tools lack support for analyzing database processing statements, such as structured query language (SQL) statements and inter-service communication statements that may be present along with the programming language statements in the computer program. Present disclosure provides method and system for performing program transformations for precise analysis of enterprise applications. The system transform each database processing statement present in a computer program associated with the enterprise application into host programming language statement and each service call into function call statements. In particular, the system replaces syntax of embedded language with equivalent host programming language syntax. The system then uses existing code analyzers for performing analysis of the computer program to get data flow information of the computer program.

Abstract: A method and system for finding vulnerabilities in a program using fuzzing have been provided. The disclosure provides a vulnerability detection framework using a language agnostic single fuzzer that can fuzz smart contracts written in different programming languages. The idea here is that a smart contract written in a high-level language is converted/compiled into an LLVM intermediate representation (LLVM IR) code and then perform the fuzzing on this LLVM IR code instead of fuzzing smart contract source code directly. The process of generating fuzz driver, report driver is automated by handling the standardization issue by carefully dividing the smart contracts into categories. The present disclosure is proposing processes of automation of fuzz or report driver generation. Further the language agnostic feature (done with intermediate representation) is also achieved. Further profiling is achieved which processes fuzzer output and generates meaningful data points.

Abstract: Data migration of an application from source to target information system is a critical step for a successful modernization project. There are few commercial tools available to address the data migration challenge, creation of a data transformation specification is largely a manual, knowledge intensive, and expert driven process. A system and method for learning based synthesis of data transformation rules have been provided. The system is focused on automating important aspects of automatic inference of the transformation specification. The key principles behind the system and method are derived from the observations on how experts use domain, system, and historical mapping knowledge while creating data transformation specifications. The system contains two major components, schema matching and transformation rule program generation. The system uses machine learning, knowledge representation for schema matching and developed rule generator using a deductive synthesizer.