Browse by Subject program analysis

Showing results 1 to 12 of 12

1
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

Kim, Se-Won; Rival, Xavier; Ryu, Sukyoungresearcher, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08

2
(A) bottom-up pointer analysis using the update history = 업데이트 기록에 기반한 상향방식 포인터 분석link

Kang, Hyun-Goo; 강현구; et al, 한국과학기술원, 2009

3
Cycle elimination for context-sensitive pointer analysis = 호출 문맥을 고려하는 포인터 분석에서의 사이클 제거 기법link

Choi, Woong-Sik; 최웅식; et al, 한국과학기술원, 2010

4
Memory reuse analysis and transformation for ML-like programs = ML같은 프로그램에서 메모리 재사용을 위한 프로그램 분석과 변환link

Lee, Ouk-Seh; 이욱세; et al, 한국과학기술원, 2003

5
Points-to analysis for javascript = 자바스크립트를 위한 포인터 분석link

Jang, Dong-Seok; 장동석; et al, 한국과학기술원, 2009

6
SAFE: 확장 가능한 JavaScript 분석 프레임워크

이홍기; 진준호; 원순철; 조준희; 류석영researcher; 고윤석, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.5, pp.283 - 289, 2013-05

7
Software theft detection through analysis of the semantic units of program = 프로그램의 의미 단위 분석을 통한 소프트웨어의 도용 탐지 방법link

Lim, Hyun-il; 임현일; et al, 한국과학기술원, 2009

8
Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 = Implementation of ANSI-C translator for analyzing C program using SPARK examinerlink

김진섭; Kim, Jin-Sup; et al, 한국과학기술원, 2002

9
Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs

Lee, O; Yang, Hongseokresearcher; Yi, K, SCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10

10
Value-Based Constraint Control Flow Integrity

Jung, Dongjae; Kim, Minsu; Jang, Jinsoo; Kang, Brent Byunghoonresearcher, IEEE ACCESS, v.8, pp.50531 - 50542, 2020-03

11
가상화 기법으로 난독화된 실행 파일의 동적 분석 방법 = A dynamic analysis of virtualization-obfuscated binary executableslink

전준수; Jeon, Joon-Soo; et al, 한국과학기술원, 2012

12
흐름 그래프 형태를 이용한 함수형 프로그램 유사성 비교

서선애; 한태숙researcher, 정보과학회논문지 : 소프트웨어 및 응용, v.32, no.4, pp.290 - 299, 2005-04

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0