• Title/Summary/Keyword: abstract interpretation

Search Result 63, Processing Time 0.022 seconds

Information Flow Centre1 using Abstract Interpretation (요약해석을 인용한 정보흐름 제어)

  • 신승철;도경구;이수호
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04b
    • /
    • pp.355-357
    • /
    • 2002
  • 정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

  • PDF

Furniture Design from Geometric Abstraction

  • Bailk, Eun
    • Journal of the Korea Furniture Society
    • /
    • v.18 no.2
    • /
    • pp.152-160
    • /
    • 2007
  • The purpose of this study was to suggest a new approach to geometric abstraction for furniture design. For this study, Geometric abstraction that was done during 1917 through 1939 was investigated. Geometric abstraction is one form of pure abstraction and is mainly concerned with geometric elements and primary colors. De stijl and Bauhaus, which were emphasized groups during this period were influenced by geometric abstract arts. The purpose of this body of work has been to create furniture pieces that would express and embody my exploration and interpretation of geometric abstraction. The various compositions of geometric shapes, pure proportion, and primary color have been a focal point.

  • PDF

A Differential Fixpoint Evaluation Algorithm for Arbitrary Worklist Scheduling (할 일들의 순서 선택이 자유로운 증가분 기반 고정점 계산 알고리즘)

  • Ahn, Joon-Seon
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.8
    • /
    • pp.808-818
    • /
    • 2005
  • We devise a differential fixpoint computation method and develop a new worklist algorithm based on it. Compared with other differential methods, our method can deal with non-distributive systems and adopt any worklist scheduling policy satisfying restrictions imposed by differential evaluation. As a practical application, we present an interpretation framework and implement constant and alias analysis and memory lifetime analysis based on it. Our experiment shows that our method can save computation and worklist scheduling is also important in differential fixpoint evaluations.

A Study on the Meaning and Methodology of Landscape Drawings in the Environmental Design (환경설계에서 경관드로잉의 의미와 방법론에 관한 연구)

  • 변찬우
    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.26 no.4
    • /
    • pp.95-104
    • /
    • 1999
  • The Landscape Drawing is the main medium for constructing better environment which provides human beings with a place for dwelling well, even though it has some limitations. To provide places for people's daily lives, by what measure do we design\ulcorner, by what measure do we give dimension\ulcorner, and how can we appropriately measure the place with drawing\ulcorner On any given site, of course, much has already happened, i.e, there is history. Any adequate interpretation of such a site should poetically take into account the present effects of its absent past. The findings to reveal the meaning and methodology of landscape drawings in the environmental design with a case study are as follows: (1) The value of landscape drawings is the poetic, artistic interpretation which we sense and bodily experience through the simultaneous exposure of the site's temporal, spatial, and tactile conditions. (2) The landscape drawing should represent the invisible (imaginary) world as well as the visible (physical) world. (3) There can be classified as two methods in representing the rich experience of a place: expression and notation. Expression is the abstract representation and do not have a direct relationship to construction due to its ambiguous and connotative structure. But notation is constructional due to it's purely objective symbol system which is obviously denotative structure. (4) Collage is a medium of specific act that can represent the complex layered phenomena and the rich experience of given site. (5) The landscape drawings represent not only topographical space which can be measured objectively, but also topic which can be cognized culturally.

  • PDF

Implementation of a Static Analyzer for Detecting the PHP File Inclusion Vulnerabilities (PHP 파일 삽입 취약성 검사를 위한 정적 분석기의 구현)

  • Ahn, Joon-Seon;Lim, Seong-Chae
    • The KIPS Transactions:PartA
    • /
    • v.18A no.5
    • /
    • pp.193-204
    • /
    • 2011
  • Since web applications are accessed by anonymous users via web, more security risks are imposed on those applications. In particular, because security vulnerabilities caused by insecure source codes cannot be properly handled by the system-level security system such as the intrusion detection system, it is necessary to eliminate such problems in advance. In this paper, to enhance the security of web applications, we develop a static analyzer for detecting the well-known security vulnerability of PHP file inclusion vulnerability. Using a semantic based static analysis, our vulnerability analyzer guarantees the soundness of the vulnerability detection and imposes no runtime overhead, differently from the other approaches such as the penetration test method and the application firewall method. For this end, our analyzer adopts abstract interpretation framework and uses an abstract analysis domain designed for the detection of the target vulnerability in PHP programs. Thus, our analyzer can efficiently analyze complicated data-flow relations in PHP programs caused by extensive usage of string data. The analysis results can be browsed using a JAVA GUI tool and the memory states and variable values at vulnerable program points can also be checked. To show the correctness and practicability of our analyzer, we analyzed the source codes of open PHP applications using the analyzer. Our experimental results show that our analyzer has practical performance in analysis capability and execution time.

The Preference on Korean Traditional Motifs and It′s Relationship with Motif Images

  • Chang, Soo-Kyung;Kim, Jae-Sook
    • The International Journal of Costume Culture
    • /
    • v.2 no.2
    • /
    • pp.60-70
    • /
    • 1999
  • The purposes of this study were to investigate preference and images of Korean traditional motifs, and to identify the relationship between them. The subjects consisted of 369 male and 356 female undergraduate students. The experimental materials used in this study were 48 stimuli and a questionnaire composed of 7-point semantic differential scales of 26 adjectives. Twelve motifs selected from 3 groups of Korean motifs were used as pattern design stimuli. Twelve repeated patterns were constructed from them to be applied on a CAD-simulated dress. The data were analyzed by ANOVA, Duncan's multiple range test, and regression. The major findings were as follows : 1. Category, composition type, and application object had a significant effect on the preference. Interpretation type has no significant effects on the preference independently, but it had interaction effects when combined with composition type, and category. Especially the composition type had a greater effect than the other variables on the preference. Cloud motif and its abstract and decorative type were found to be more related to the preference than the other category and interpretation type. On the basis of the analysis results, image charts and preference charts were developed. By combining information from the image chart and preference chart, motifs and images preferred by consumers may be selected and developed into new valuable designs. 2. The preference was affected mainly by 'quality'image followed by 'simplicity', 'interest', and 'modernity'image. The preference on pattern design was affected by 'quality', 'simplicity', 'interest', and 'interest', 'simplicity', and 'modernity'image in the order. The relationship between the preference and sensibility images has been represented by equations.

  • PDF

Lee Ungno (1904-1989)'s Theory of Painting and Art Informel Perception in the 1950s (이응노(1904~1989)의 회화론과 1950년대 앵포르멜 미술에 대한 인식)

  • Lee, Janghoon
    • Korean Journal of Heritage: History & Science
    • /
    • v.52 no.2
    • /
    • pp.172-195
    • /
    • 2019
  • Among the paintings of Goam Lee Ungno (1904-1989), his works of the 1960s in Paris have been evaluated as his most avant-garde works of experimenting with and innovating objects as an artist. At that time, his works, such as Papier Colle and Abstract Letter, were influenced by abstract expressionism and Western Art Informel, illustrating his transformation from a traditional artist into a contemporary artist. An exhibition, which was held prior to his going to Paris in March 1958, has received attention because it exhibited the painting style of his early Informel art. Taking this into consideration, this study was conducted by interpreting his work from two perspectives; first, that his works of 1958 were influenced by abstract expressionism and Art Informel, and, second, that he expressed Xieyi (寫意) as literati painting, focusing on the fact that Lee Ungno first started his career adopting this style. In this paper, I aimed to confirm Lee Ungno's recognition of Art Informel and abstract painting, which can be called abstract expressionism. To achieve this, it was necessary to study Lee's painting theory at that time, so I first considered Hae-gang Kim Gyu-jin whom Lee Ungno began studying painting under, and his paintings during his time in Japan. It was confirmed that in order to escape from stereotypical paintings, deep contemplation of nature while painting was his first important principle. This principle, also known as Xieyi (寫意), lasted until the 1950s. In addition, it is highly probable that he understood the dictionary definition of abstract painting, i.e., the meaning of extracting shapes from nature according to the ideas which became important to him after studying in Japan, rather than the theory of abstract painting realized in Western paintings. Lee Ungno himself also stated that the shape of nature was the basis of abstract painting. In other words, abstractive painting and abstract painting are different concepts and based on this, it is necessary to analyze the paintings of Lee Ungno. Finally, I questioned the view that Lee Ungno's abstract paintings of the 1950s were painted as representative of the Xieyi (寫意) mind of literary art painting. Linking traditional literary art painting theory directly to Lee Ungno, who had been active in other worlds in space and time, may minimize Lee Ungno's individuality and make the distinction between traditional paintings and contemporary paintings obscure. Lee Ungno emphasized Xieyi (寫意) in his paintings; however, this might have been an emphasis signifying a great proposition. This is actually because his works produced in the 1950s, such as Self-Portrait (1956), featured painting styles with boldly distorted forms achieved by strong ink brushwork, a style which Lee Ungno defined as 'North Painting.' This is based on the view that it is necessary to distinguish between Xieyi (寫意) and 'the way of Xieyi (寫意) painting' as an important aspect of literary art painting. Therefore, his paintings need a new interpretation in consideration of the viewpoint that he represented abstract paintings according to his own Xieyi (寫意) way, rather than the view that his paintings were representations of Xieyi (寫意), or rather a succession of traditional paintings in the literary artist's style.

Classification of Diagnostic Information and Analysis Methods for Weaknesses in C/C++ Programs

  • Han, Kyungsook;Lee, Damho;Pyo, Changwoo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.22 no.3
    • /
    • pp.81-88
    • /
    • 2017
  • In this paper, we classified the weaknesses of C/C++ programs listed in CWE based on the diagnostic information produced at each stage of program compilation. Our classification identifies which stages should be responsible for analyzing the weaknesses. We also present algorithmic frameworks for detecting typical weaknesses belonging to the classes to demonstrate validness of our scheme. For the weaknesses that cannot be analyzed by using the diagnostic information, we separated them as a group that are often detectable by the analyses that simulate program execution, for instance, symbolic execution and abstract interpretation. We expect that classification of weaknesses, and diagnostic information accordingly, would contribute to systematic development of static analyzers that minimizes false positives and negatives.

Airac: Static Analyzer for Automatic Verification of Array Index Ranges in C Programs (아이락: C 프로그램의 메모리 오류 정적 분석기)

  • Jung Yungbum;Kim Jaehwang;Shin Jaeho;Yi Kwangkeun
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.964-966
    • /
    • 2005
  • 아이락(Airac)은 C 프로그램의 버퍼오버런(buffer overrun)오류를 찾아주는 정적 프로그램 분석기(static program analyzer)이다. 아이락은 요약해석(abstract interpretation)의 틀 속에서 디자인되었다. 설계 및 구현 과정에서 프로그램 분석 분야에서 축적되어온 다양한 기술들을 적용하여 분석의 성능 및 정확도 향상을 이룩하였다. 아이락은 리눅스 커널(linux kernel), GNU 소프트웨어, 상용 소프트웨어등에 적용되어 오류를 찾아냈다.

  • PDF

Program Slicing using Abstract Interpretation (요약 해석을 이용한 프로그램 슬라이싱)

  • Jeong, In-Sang;Chang, Byeong-Mo
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.8
    • /
    • pp.551-559
    • /
    • 2001
  • 정적 슬라이싱과 동적 슬라이싱의 차이는 동적 슬라이싱은 프로그램에 주어진 입력을 가정하는 반면에 정정 슬라이싱은 입력에 대한 가정을 하지 않는다는 점이다. 동적 슬라이싱은 실행-시간 정보를 이용할 수 있으므로 정적 슬라이싱보다 적은 슬라이스를 만들 수 있으나 특정 입력 상태에만 적용될 수 있다는 제한을 갖는다. 이 논문은 초기 상태들의 집합에 대해서 프로그래을 슬라이싱하는 요약 프로그램 슬라이싱이라는 새로운 기법을 제시한다. 이 방법은 프로그램으로부터 슬라이스를 구하는데 요약 해석을 이용한다. 요약 해석을 프로그램 실행 없이 프로그램의 실행-시간 동작에 대한 안전한 정보를 제공한다. 따라서 결과적으로 얻은 요약 슬라이스는 주어진 입력 상태들의 집합에 대해서 정적으로 계산되었다는 점에서 동적 슬라이스와는 다르다. 또한 요약 프로그램 슬라이싱은 배열과 같은 자료구조를 정적 슬라이싱보다 정확하게 다룰 수 있으며 슬라이스 크기도 줄일 수 있다.

  • PDF