IN2014MU00041A - - Google Patents

Download PDF

Info

Publication number
IN2014MU00041A
IN2014MU00041A IN41MU2014A IN2014MU00041A IN 2014MU00041 A IN2014MU00041 A IN 2014MU00041A IN 41MU2014 A IN41MU2014 A IN 41MU2014A IN 2014MU00041 A IN2014MU00041 A IN 2014MU00041A
Authority
IN
India
Prior art keywords
program code
tree
code
tokens
checking
Prior art date
Application number
Inventor
Mayuresh P Warunjikar
Priyam Jain
Neeraj Jain
Nitin Kumar Rai
Vivek Tiwari
Amit Kumar Choubey
Original Assignee
Tata Consultancy Services Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Priority to IN41MU2014 priority Critical patent/IN2014MU00041A/en
Priority to US14/504,724 priority patent/US20150193213A1/en
Publication of IN2014MU00041A publication Critical patent/IN2014MU00041A/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/425—Lexical analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/427—Parsing

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

A computer implemented system for checking a program code that includes a lexical analyzer to lexically analyze the expressions of the program code and generate tokens representing these expressions. The system includes a parser that receives and parses the tokens to determine whether the tokens form an allowable expression. A tree, generation module generates a parsed tree that represents relationship between the tokens in a tree-format. The system further includes an abstractor that cooperates with the tree generation module, and stores at least one meta model that represents program code in an entity-relationship format. A rule engine executes the code checking rule(s) on the populated instance of the meta model, and determines whether said program code complies with the code checking rule(s). The system also includes a report generator that generates at least one report indicating the compliance level of the program code with the code-checking rule(s).
IN41MU2014 2014-01-06 2014-01-06 IN2014MU00041A (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
IN41MU2014 IN2014MU00041A (en) 2014-01-06 2014-01-06
US14/504,724 US20150193213A1 (en) 2014-01-06 2014-10-02 Computer Implemented System and Method for Checking a Program Code

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IN41MU2014 IN2014MU00041A (en) 2014-01-06 2014-01-06

Publications (1)

Publication Number Publication Date
IN2014MU00041A true IN2014MU00041A (en) 2015-08-21

Family

ID=53495210

Family Applications (1)

Application Number Title Priority Date Filing Date
IN41MU2014 IN2014MU00041A (en) 2014-01-06 2014-01-06

Country Status (2)

Country Link
US (1) US20150193213A1 (en)
IN (1) IN2014MU00041A (en)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10223085B2 (en) 2017-04-28 2019-03-05 International Business Machines Corporation Discovering high-level language data structures from assembler code
US10255046B2 (en) 2017-05-25 2019-04-09 International Business Machines Corporation Source code analysis and adjustment system
CN110968498B (en) * 2018-09-30 2023-04-07 北京国双科技有限公司 Code checking method and device
CN111427582B (en) * 2020-03-30 2023-06-09 飞腾信息技术有限公司 RTL code management method, device, equipment and computer readable storage medium
CN111610999A (en) * 2020-05-26 2020-09-01 北京字节跳动网络技术有限公司 Checking method, checking device, computer equipment and storage medium
CN116909572B (en) * 2023-08-04 2024-03-12 上海安般信息科技有限公司 Parser based on custom grammar and deduction tree code generation system

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5860011A (en) * 1996-02-29 1999-01-12 Parasoft Corporation Method and system for automatically checking computer source code quality based on rules
CN101344684B (en) * 2007-07-12 2011-12-28 北京京东方光电科技有限公司 Substrate of LCD device and manufacturing method thereof
US8930960B2 (en) * 2007-12-18 2015-01-06 Sap Se Methods and systems for object interpretation within a shared object space
KR101220107B1 (en) * 2010-07-27 2013-01-11 국방과학연구소 Method and apparatus for vacuum process of isostatic pressing of powder material
JP2012059026A (en) * 2010-09-09 2012-03-22 Hitachi Ltd Source code conversion method and source code conversion program
JP5673287B2 (en) * 2011-03-29 2015-02-18 東洋製罐株式会社 Compression molding system
US8965827B2 (en) * 2011-03-30 2015-02-24 Computer Sciences Corporation Rules execution platform system and method
CN102411912A (en) * 2011-04-27 2012-04-11 深圳市华星光电技术有限公司 Driving method for liquid crystal display
US8449565B2 (en) * 2011-07-21 2013-05-28 Francis Duhay Approaches to venous occlusion for embolus management
US20130159063A1 (en) * 2011-12-14 2013-06-20 Joachim Fessler Process-based user authorization management
EP2802989A1 (en) * 2012-01-12 2014-11-19 Thomson Licensing Method and device for compiling a source program
DE102012213328B4 (en) * 2012-07-30 2020-06-10 Bayerische Motoren Werke Aktiengesellschaft Communication device for a vehicle
US20140109062A1 (en) * 2012-10-11 2014-04-17 Tata Constultancy Services Limited Mumbai System and method to provide compliance scrutiny and in-depth analysis of a software application
US9519695B2 (en) * 2013-04-16 2016-12-13 Cognizant Technology Solutions India Pvt. Ltd. System and method for automating data warehousing processes

Also Published As

Publication number Publication date
US20150193213A1 (en) 2015-07-09

Similar Documents

Publication Publication Date Title
IN2014MU00041A (en)
CL2018002135A1 (en) System and method for verifying the authenticity of document information
MX369969B (en) System and methods for improved demand response management system (drms).
WO2014070306A3 (en) System and method for applying a business rule management system to a customer relationship management system
MX2015017111A (en) Automated generation of scripted and manual test cases.
AR093834A1 (en) SYSTEMS AND METHODS TO TEST A FINANCIAL MARKETING SYSTEM
GB2512526A (en) System, method and computer program for multi-dimensional tempral and relative data mining framework, analysis & sub-grouping
GB2517885A (en) Method and apparatus for processing database data in distributed database system
EP4242892A3 (en) Code pointer authentication for hardware flow control
MX2015009172A (en) Systems and methods for identifying and reporting application and file vulnerabilities.
GB2527009A (en) Simulation of production systems
WO2013137950A3 (en) Methods, systems, and computer program products for generating fast neutron spectra
BR112015019731A2 (en) method for testing various spatially distributed protective assemblies of a power supply network as well as a corresponding test system
WO2012037168A3 (en) Software design and automatic coding for parallel computing
WO2014018291A3 (en) Systems and methods for improving control system reliability
IN2013MU02339A (en)
MX2013003003A (en) Generating reports based on materialized view.
GB2542053A (en) Automatically generating a semantic mapping for a relational database
WO2016026407A3 (en) System and method for metadata enhanced inventory management of a communications system
AR094354A1 (en) SYSTEM TO PROVIDE A COMPILATION OF SOCIAL MEDIA
IN2013MU02497A (en)
WO2013186629A3 (en) Seismic trace attribute
BR112015008843A2 (en) method of providing at least part of spectacle equipment
IN2013CH05995A (en)
GB201211276D0 (en) Restricting a software system