KR101691600B9 - 공통 구조 변환 기반 프로그램 분석 방법 및 장치 - Google Patents

공통 구조 변환 기반 프로그램 분석 방법 및 장치

Info

Publication number
KR101691600B9
KR101691600B9 KR1020160052018A KR20160052018A KR101691600B9 KR 101691600 B9 KR101691600 B9 KR 101691600B9 KR 1020160052018 A KR1020160052018 A KR 1020160052018A KR 20160052018 A KR20160052018 A KR 20160052018A KR 101691600 B9 KR101691600 B9 KR 101691600B9
Authority
KR
South Korea
Prior art keywords
method based
analysis method
apparatus therefor
common structure
program analysis
Prior art date
Application number
KR1020160052018A
Other languages
English (en)
Other versions
KR101691600B1 (ko
Inventor
홍성문
김현하
정승철
최태형
권현준
정석훈
Original Assignee
지티원 주식회사
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 지티원 주식회사 filed Critical 지티원 주식회사
Priority to KR1020160052018A priority Critical patent/KR101691600B1/ko
Application granted granted Critical
Publication of KR101691600B1 publication Critical patent/KR101691600B1/ko
Publication of KR101691600B9 publication Critical patent/KR101691600B9/ko

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G06F8/315—Object-oriented languages
    • 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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Computing Systems (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
KR1020160052018A 2016-04-28 2016-04-28 공통 구조 변환 기반 프로그램 분석 방법 및 장치 KR101691600B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020160052018A KR101691600B1 (ko) 2016-04-28 2016-04-28 공통 구조 변환 기반 프로그램 분석 방법 및 장치

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020160052018A KR101691600B1 (ko) 2016-04-28 2016-04-28 공통 구조 변환 기반 프로그램 분석 방법 및 장치

Publications (2)

Publication Number Publication Date
KR101691600B1 KR101691600B1 (ko) 2017-01-02
KR101691600B9 true KR101691600B9 (ko) 2022-06-16

Family

ID=57810358

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020160052018A KR101691600B1 (ko) 2016-04-28 2016-04-28 공통 구조 변환 기반 프로그램 분석 방법 및 장치

Country Status (1)

Country Link
KR (1) KR101691600B1 (ko)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20220126886A (ko) 2021-03-10 2022-09-19 주식회사 아이엠폼 중간 언어를 기반으로 한 콘텐츠 페이지 생성 장치 및 방법

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3328056B2 (ja) * 1994-03-01 2002-09-24 新日鉄ソリューションズ株式会社 構文解析木からの情報抽出装置
US5692047A (en) * 1995-12-08 1997-11-25 Sun Microsystems, Inc. System and method for executing verifiable programs with facility for using non-verifiable programs from trusted sources
US7707566B2 (en) * 2003-06-26 2010-04-27 Microsoft Corporation Software development infrastructure

Also Published As

Publication number Publication date
KR101691600B1 (ko) 2017-01-02

Similar Documents

Publication Publication Date Title
ZA202100372B (en) Break analysis apparatus and method
GB201503805D0 (en) Blood analysis apparatus and method
EP3460473A4 (en) ANALYSIS METHOD AND ANALYSIS DEVICE
GB2573692B (en) Analysis system and analysis method
EP3382610A4 (en) DATA ANALYSIS APPARATUS, METHOD AND PROGRAM
EP3413047A4 (en) Analysis device and analysis method
EP3557263A4 (en) AUTOMATED ANALYSIS DEVICE AND AUTOMATED ANALYSIS PROCESS
GB2580802B (en) Sample testing apparatus and method
HK1243491A1 (zh) 靶分析工具和靶分析方法
EP3358349A4 (en) Analysis device and analysis method
GB2564301B (en) Analysis device, analysis method, and program
EP3418889A4 (en) SOFTWARE ANALYSIS DEVICE AND SOFTWARE ANALYSIS PROCEDURE
EP3540043A4 (en) ANALYSIS DEVICE, ANALYSIS METHOD AND ANALYSIS PROGRAM
SG11201802898PA (en) Method and apparatus for address analysis
HK1248900A1 (zh) 數據分析裝置以及數據分析方法
EP3418727A4 (en) ANALYSIS DEVICE, ANALYSIS PROCEDURE AND ANALYSIS PROGRAM
EP3379772A4 (en) ANALYSIS METHOD, ANALYSIS DEVICE AND ANALYSIS PROGRAM
EP3396389A4 (en) APPARATUS FOR AUTOMATED ANALYSIS AND METHOD FOR AUTOMATED ANALYSIS
GB201604215D0 (en) Apparatus, method and computer program
GB201502447D0 (en) Method and apparatus for sample analysis
SG11202004963YA (en) Analysis method and analysis apparatus for urea
SG11202002072PA (en) Analysis device and analysis method
GB2552823B (en) Skinprint analysis method and apparatus
EP3410100A4 (en) ANALYSIS METHOD AND ANALYSIS DEVICE
KR101691600B9 (ko) 공통 구조 변환 기반 프로그램 분석 방법 및 장치

Legal Events

Date Code Title Description
E701 Decision to grant or registration of patent right
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20190905

Year of fee payment: 4

G170 Re-publication after modification of scope of protection [patent]