Browse by Subject static analysis
Showing results 1 to 37 of 37
| A proof method for the correctness of modularized 0CFA Lee, O; Yi, Kwangkeun; Paek., Yunheung, INFORMATION PROCESSING LETTERS, v.81, no.4, pp.179 - 185, 2002-02 |
| (A) static analysis framework with explicit synchronization for definite error detection on esterel = 명료한 동기화와 명확한 오류 검출을 위한 Esterel의 정적분석 기반구조link Kim, Chul-Joo; 김철주; et al, 한국과학기술원, 2010 |
| All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications Park, Changhee; Lee, Hongki; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.49, no.2, pp.73 - 84, 2014-02 |
| An Empirical study on the rewritability of the with statement in JavaScript = JavaScript 프로그램에서 with 문의 제거 가능성에 대한 실험적 연구link Park, Chang-Hee; 박창희; et al, 한국과학기술원, 2012 |
| An uncaught exception analysis for Java Jo, JW; Chang, BM; Yi, KK; Choe, Kwang-Moo, JOURNAL OF SYSTEMS AND SOFTWARE, v.72, no.1, pp.59 - 69, 2004-06 |
| Analysis of JavaScript Programs: Challenges and Research Trends Sun, Kwangwon; Ryu, Sukyoung, ACM COMPUTING SURVEYS, v.50, no.4, 2017-11 |
| Automatic analysis of network behavior for android applications = 안드로이드 애플리케이션을 위한 자동화된 네트워크 행위 분석link Choi, Hyunwoo; 최현우; et al, 한국과학기술원, 2017 |
| Automatic API modling for static analysis of web applications = 웹 앱 정적 분석을 위한 API 자동 모델링link Bae, Sung-Gyeong; 배성경; et al, 한국과학기술원, 2015 |
| Building a sound and practical static analysis framework for JavaScript web applications in the wild = 자바스크립트 웹 어플리케이션의 안전하고 실용적인 정적 분석을 위한 프레임워크 개발 연구link Park, Changhee; 박창희; et al, 한국과학기술원, 2016 |
| Code theft detection by software birthmarks for binary executables = 바이너리 실행파일의 소프트웨어 버스마크를 이용한 코드 도용 탐지link Choi, Seok-Woo; 최석우; et al, 한국과학기술원, 2009 |
| Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
| Detecting schizophrenia in imperative synchronous languages = 절차형 동기언어 컴파일시 회로 재사용에 의한 문제점 검증link Yun, Jeong-Han; 윤정한; et al, 한국과학기술원, 2011 |
| Detection of Harmful Schizophrenic Statements in Esterel Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; Choe, Kwang-Moo; Han, Tai-Sook, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03 |
| Exception analysis for languages with exceptions = 프로그램 실행 중 처리되지 않는 예외상황을 예측하는 방법link Ryu, Suk-Young; 류석영; et al, 한국과학기술원, 2001 |
| Extractocol: Automatic Extraction of Application-level Protocol Behaviors for Android Applications Choi, Hyunwoo; Kim, Jeongmin; Hong, Hyunwook; Kim, Yongdae; Lee, Jonghyup; Han, Dongsu, ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, v.45, no.4, pp.593 - 594, 2015-08 |
| Goal-directed Weakening of Abstract Interpretation Results Seo, Sunae; Yang, Hongseok; Yi, Kwangkeun; Han, Taisook, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.29, no.10, 2007-10 |
| Improving the analysis precision of JavaScript programs via assertion = Assert로 자바스크립트 프로그램 분석의 정확도 높이기link Lee, Hong-Ki; 이홍기; et al, 한국과학기술원, 2013 |
| Journey to Find Bugs in JavaScript Web Applications in the Wild Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.51, no.9, pp.2 - 2, 2016-09 |
| Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain Park, Changhee; Im, Hyeonseung; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.52, no.2, pp.25 - 36, 2017-02 |
| Reducing false alarms in static buffer overflow analysis = 정적 버퍼 오버플로우 분석의 거짓 경보 감소 기법link Kim, You-Il; 김유일; et al, 한국과학기술원, 2010 |
| RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are Son, Sooel; McKinley, Kathryn S.; Shmatikov, Vitaly, ACM SIGPLAN NOTICES, v.46, no.10, pp.1069 - 1083, 2011-10 |
| Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun, SOFTWARE-PRACTICE & EXPERIENCE, v.47, no.11, pp.1677 - 1705, 2017-11 |
| Set-based access conflict analysis of concurrent workflow definition Lee, M; Han, Dongsoo; Shim, J, INFORMATION PROCESSING LETTERS, v.80, no.4, pp.189 - 194, 2001-11 |
| Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Lee, Wonyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.7, no.POPL, 2023-01 |
| Software theft detection through static trace birthmarks for java = 자바의 정적 트레이스 버스마크를 통한 소프트웨어 도용 탐지link Park, Hee-Wan; 박희완; et al, 한국과학기술원, 2010 |
| Specification error detection and dynamic interoperation support for inter-organizational workflow = 다중 조직간 워크플로우를 위한 명세 오류 검출 방법과 동적 연동 지원방안에 관한 연구link Shim, Jae-Yong; 심재용; et al, 한국정보통신대학교, 2003 |
| Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity Park, Changhee; Lee, Hongki; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.48, no.4, pp.911 - 944, 2018-04 |
| Static analysis of JavaScript programs = 자바스크립트 프로그램의 정적 분석 : 난제와 연구경향 분석link Sun, Kwangwon; 선광원; et al, 한국과학기술원, 2016 |
| Static Analysis of JNI Programs via Binary Decompilation Park, Jihee; Lee, Sungho; Hong, Jaemin; Ryu, Sukyoung, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.49, no.5, pp.3089 - 3105, 2023-05 |
| Static extensivity analysis for lambda-definable functions over lattices Eo, Hyun-Jun; Yi, Kwang-Keun; Choe, Kwang-Moo, NEW GENERATION COMPUTING, v.24, no.1, pp.53 - 78, 2006 |
| Towards Verified Stochastic Variational Inference for Probabilistic Programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
| WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발 박경희; 류석영, 정보과학회논문지, v.44, no.10, pp.1081 - 1086, 2017-10 |
| Weakly sensitive analysis for JavaScript object-manipulating programs Ko, Yoon Seok; Rival, Xavier; Ryu, Sukyoung, SOFTWARE-PRACTICE & EXPERIENCE, v.49, no.5, pp.840 - 884, 2019-05 |
| 사례연구를 통한 정적 프로그램 분석 기법을 사용하는 도구의 비교 김윤호; 박용배; 김문주, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.8, pp.424 - 428, 2013-08 |
| 자바스크립트의 이벤트 동작 분석을 위한 이벤트 모델링 류연희; 류석영, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.12, pp.751 - 755, 2015-12 |
| 프로그램의 구조와 상수 값을 이용하는 바이너리 실행 파일의 차이점 분석 박희완; 최석우; 서선애; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.7, pp.452 - 461, 2008-07 |
| 확장성을 조절할 수 있는 자바스크립트 앱 정적 분석 프레임워크 고윤석; 류석영, 정보과학회논문지, v.42, no.11, pp.1404 - 1409, 2015-11 |
Discover
Type
Open Access
Date issued
- 30,991 2020 - 2024
- 100,003 2010 - 2019
- 75,675 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969