• Title/Summary/Keyword: pointer analysis

Search Result 46, Processing Time 0.03 seconds

Limitations and Future Work Suggetion on Safe Interaction Model between Rust and C/C++ (Rust와 C/C++간 안전한 상호작용에 관한 연구의 맹점과 개선 모델 연구)

  • Taehyun Noh;Hojoon Lee
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.2
    • /
    • pp.345-351
    • /
    • 2023
  • As software development progresses and programs become increasingly complex, the cost of reducing and managing software vulnerabilities has also increased. To address this issue, the Rust programming language, which guarantees Memory Safety, has been suggested as an alternative for more error-prone languages such as traditional C/C++. However, Rust also supports the use of libraries written in C/C++ to enhance compatibility with older languages and avoid redundant development, compromising its original guarantees. For example, memory corruption happened in C/C++ can lead to exploits such as buffer overflow, Use-After-Free and null-pointer dereferecing. To tackle this problem, recent studies have been conducted to secure interactino between Rust and C/C++ by isolation. This paper uncovers areas that have not been fully explored in previous studies, following limitation analysis on each. Finally, this paper suggests the future direction of research on safe interaction between Rust and C/C++.

Development of Simulation Tool SMPLE and Its Application to Performance Analysis of Multiprocessor Systems (시뮬레이션 도구 SMPLE의 개발 및 멀티프로세서 시스템 성능 분석에의 활용)

  • 조성만
    • Journal of the Korea Society for Simulation
    • /
    • v.1 no.1
    • /
    • pp.87-102
    • /
    • 1992
  • This paper presents the development of event-driven system level simulation tool SMPLE(Smpl Extende, an extention fo smpl) and its application to the performance analysis of multiprocessor computer systems. Because of its data structure, it is very difficult to change, expand or add new functions to simulation language smpl implemented by MacDougall. In SMPLE, we change data structure with structure and pointer, add new functions, and enable dynamic memory management. Using new data structure, facilities, and functions added in SMPLE, we simulate job processing of a shared bus multiprocessor system with autonomous hierarchical I/O subsystem. We set system performance contribution of subsystems and units. The impact of disk I/O on system performance is evaluated under vairous conditions of number of processors, processing power, memory access time and disk seek time.

  • PDF

Implementation and Design of Usability Analysis System for Upgrading the Usage of Mobile Applications (모바일 어플리케이션 활용도를 높이기 위한 사용성 분석 시스템 설계 및 구현)

  • Koo, Hyun-Woo;Lee, Chang-Hwan;Kim, Yei-Chang
    • Journal of Digital Convergence
    • /
    • v.10 no.2
    • /
    • pp.171-182
    • /
    • 2012
  • The many companies and developers develop new mobile applications for serving to users. But, most of it is disappeared in a brief. Because Many applications weren't satisfy the needs of user. In this paper, it analysis to reason short life of mobile application in the smart terminals and mobile applications. Therefore, we develop dynamic user usability analysis system of applications to solve the problem. User usability analysis method is surveyed users and masters at present and then occurs high cost. In this paper, we develop dynamic user usability analysis system for real users. If usage of mobile applications upgrading, benefit of developers increased and serviced target contents to users.

Development of A Wearable Input Device Recognizing Human Hand and Finger Motions as A New Mobile Input Device

  • Dae H. Won;Lee, Ho G.;Kim, Jin-Y;Park, Jong H.
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2001.10a
    • /
    • pp.153.3-153
    • /
    • 2001
  • Recently, the researches on the mobile computing technologies for palm computers, PDA´s and wearable computers became very active. In the development of mobile devices, one of the key technologies is the human interface. So, this paper suggests a new input device for PDA´s and wearable computers so-called key-glove. The design methods of key-glove are discussed in this paper and we manufactured the key-glove which recognizes that character is typed in though the hand´s movements analysis and is designed as an input device for wearable computers and virtual environment. Also, we are executes a performance test for alphanumeric data entry, command entry and X-Y pointer input. In the results, we are confirmed in its ...

  • PDF

RAM Study for LNG Fuel Supply System (액화천연가스 연료 공급 장치에 대한 신뢰성 분석)

  • Park, Yongtae;Lee, Jaeik;Kwon, Donghyun;Lee, Changheon
    • Special Issue of the Society of Naval Architects of Korea
    • /
    • 2013.12a
    • /
    • pp.90-93
    • /
    • 2013
  • RAM study has been used for various range of industry such as chemical, electronics, defense industry. Recently, in the offshore & shipbuilding industry, demand of owners to analysis risk has been increased. RAM study is a quantitative pointer to risk based design and provides effective method for improvements. This article shows the result of RAM study for LNG fuel supply system. The result provides information to improve design. This study shows how result of risk assessment affects the design of LNG fuel supply system.

  • PDF

Diagnosis of Cholangiocellular Carcinoma in a Dog (개에 발생한 간내 담관상피암의 진단예)

  • 이현범;장인호;장종식
    • Journal of Veterinary Clinics
    • /
    • v.14 no.1
    • /
    • pp.123-125
    • /
    • 1997
  • A 5-years-old female pointer dog was submittedto the hospital with the disease history of gradual distension of abdomen and emaciation for two months. An applesized hard mass was palpated on the right costal arch on physical examination. On blood chemical analysis, the marked elevation of SALT and decrease in serum albumin were detected. On paracentesis, a large volume of blood tinged fluid was detected. The peritoneal fluid contained tumor cells and the numerous blood cells. At autopsy the tumor mass located in the left medial lobe of liver was whitish and firm, and was consisted of many cysts. Histologically the tumor was identified as typical cholangiocellular carcinoma. Metastatic lesions of the tumor were detected in the lung, stomach, spleen, diaphragm, and lymph glands. This observation indicates that the cytological examination of the abdominal fluid have a diagnostic significance in the clinical examination of patients with abdominal tumors.

  • PDF

Experimental Evaluation of Recursive Query Processing in Datalog Systems (데이터로그 시스템들의 재귀 질의 처리 성능 평가)

  • Lee, Yukyoung;Kim, Hyeonji;Hong, Ki-Jae;Kang, Hyuk Kyu;Han, Wook-Shin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2019.10a
    • /
    • pp.729-732
    • /
    • 2019
  • 데이터로그는 논리형 선언형 프로그래밍 언어로, 특히 재귀적인(recursion) 알고리즘을 표현하기 편리한 언어이다. 대표적인 데이터로그 시스템으로는 CORAL, LogicBlox, XSB, Soufflé가 있다. 본논문에서는 이 네 가지 시스템의 특징을 설명하고, 세 가지 벤치마크, 이행적 폐쇄(Transitive closure), 동세대(same generation), 포인터 분석(pointer analysis)으로 데이터로그 시스템들의 재귀 질의(recursive query) 처리 성능을 비교하였다.

Multicity Seasonal Air Quality Index Forecasting using Soft Computing Techniques

  • Tikhe, Shruti S.;Khare, K.C.;Londhe, S.N.
    • Advances in environmental research
    • /
    • v.4 no.2
    • /
    • pp.83-104
    • /
    • 2015
  • Air Quality Index (AQI) is a pointer to broadcast short term air quality. This paper presents one day ahead AQI forecasting on seasonal basis for three major cities in Maharashtra State, India by using Artificial Neural Networks (ANN) and Genetic Programming (GP). The meteorological observations & previous AQI from 2005-2008 are used to predict next day's AQI. It was observed that GP captures the phenomenon better than ANN and could also follow the peak values better than ANN. The overall performance of GP seems better as compared to ANN. Stochastic nature of the input parameters and the possibility of auto-correlation might have introduced time lag and subsequent errors in predictions. Spectral Analysis (SA) was used for characterization of the error introduced. Correlational dependency (serial dependency) was calculated for all 24 models prepared on seasonal basis. Particular lags (k) in all the models were removed by differencing the series, that is converting each i'th element of the series into its difference from the (i-k)"th element. New time series is generated for all seasonal models in synchronization with the original time line & evaluated using ANN and GP. The statistical analysis and comparison of GP and ANN models has been done. We have proposed a promising approach of use of GP coupled with SA for real time prediction of seasonal multicity AQI.

Analysis on Ablation of KL-3 Engine Nozzle Throat Using Image Analysis (영상분석을 통한 KL-3 엔진 노즐목 삭마 경향 분석)

  • Kim, Young-Han;Park, Sung-Jin;Ryu, Chul-Sung;Kim, Yong-Wook;Han, Sang-Yeop;Kim, Byung-Hun
    • 한국연소학회:학술대회논문집
    • /
    • 2003.05a
    • /
    • pp.51-55
    • /
    • 2003
  • In this research, authors tried to measure the shape of the nozzle throat of KL-3 engines, which is the main engine of KSR-III rocket, to find the increase of nozzle area caused by the thermal ablation. For the purpose, we invented an image-based method instead of the 3D pointer, which is actually inaccessible to such large scale engines. As a result, our equipment showed satisfactory accuracy and performance. Analysing the results of experiments, we find that the pattern of ablation is determined by the spray pattern and that the process of thermal ablation phenomena can be categorized in three regimes - the first regime that the shape of nozzle throat is maintained and ablation is negligible, the second regime that saw-tooth form is developed and ablation is accelerated, and the third regime that the saw-tooth form is already established and the growth of ablation rate is reduced. Also, we find that the ratio of area increase after 60 seconds combustion is +5.82% and conclude that this figure is acceptable and satisfactory.

  • PDF

An Expression Violating the Member Accessibility in C++ (C++에서 멤버의 접근성을 위반하는 연산)

  • Joo, Seong-Yong;Jo, Jang-Wu
    • Journal of KIISE:Software and Applications
    • /
    • v.37 no.3
    • /
    • pp.233-237
    • /
    • 2010
  • This paper addresses a problem of violating the member accessibility of a class in C++, which is not detected as an error by existing C++ compilers. The member access specifiers can be used to specify member accessibility. The C++ uses a private or protected specifier for specifying the members which cannot be accessed from outside of an object. However, the private or protected members can be accessed from outside of that object by the pointer arithmetic in C++. We show some violating examples that cannot be detected by existing C++ compilers. The contribution of this paper is to discover and define the new problem of the member accessibility.