• Title/Summary/Keyword: Static Analyzer

Search Result 78, Processing Time 0.022 seconds

Development of Safe Korean Programming Language Using Static Analysis (정적 분석을 이용한 안전한 한글 프로그래밍 언어의 개발)

  • Kang, Dohun;Kim, Yeoneo;Woo, Gyun
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.5 no.4
    • /
    • pp.79-86
    • /
    • 2016
  • About 75% of software security incidents are caused by software vulnerability. In addition, the after-market repairing cost of the software is higher by more than 30 times than that in the design stage. In this background, the secure coding has been proposed as one of the ways to solve this kind of maintenance problems. Various institutions have addressed the weakness patterns of the standard software. A new Korean programming language Saesark has been proposed to resolve the security weakness on the language level. However, the previous study on Saesark can not resolve the security weakness caused by the API. This paper proposes a way to resolve the security weakness due to the API. It adopts a static analyzer inspecting dangerous methods. It classifies the dangerous methods of the API into two groups: the methods of using tainted data and those accepting in-flowing tainted data. It analyses the security weakness in four steps: searching for the dangerous methods, configuring a call graph, navigating a path between the method for in-flowing tainted data and that uses tainted data on the call graph, and reporting the security weakness detected. To measure the effectiveness of this method, two experiments have been performed on the new version of Saesark adopting the static analysis. The first experiment is the comparison of it with the previous version of Saesark according to the Java Secure Coding Guide. The second experiment is the comparison of the improved Saesark with FindBugs, a Java program vulnerability analysis tool. According to the result, the improved Saesark is 15% more safe than the previous version of Saesark and the F-measure of it 68%, which shows the improvement of 9% point compared to 59%, that of FindBugs.

The Surface Characteristic Changes of Hydroxyapatite Coated Ti Disc When Immersed in NaCl Solution (NaCl 수용액에 담근 Hydroxyapatite 코팅된 타이타늄 시편의 표면 변화)

  • Baek, Yeon-Wha;Kim, Myung-Joo;Kwon, Ho-Beom;Lim, Young-Jun
    • Journal of Dental Rehabilitation and Applied Science
    • /
    • v.28 no.4
    • /
    • pp.339-347
    • /
    • 2012
  • In previous studies, methods for enhancing cellular response on the Hydroxyapatite coated implant surface were described. In this study, the changes of surface characteristics such as surface roughness, contact angle, surface energy and surface morphology were observed when Hydroxyapatite coated Ti discs were immersed in NaCl solution for various time. Hydroxyapatite coated Ti discs were immersed in 0.9% NaCl solution for 7, 14 and 21 days at $37^{\circ}C$. The control group comprises dry identical discs not immersed in a solution. (n=3) All discs were dried in air completely and the surface roughness was measured using confocal laser scanning microscopy(CLSM). Static contact angle was recorded by video contact angle analyzer after dropping distilled water on the surface. The surface energy was calculated from contact angles of the three liquids. Surface was observed using a field emission-scanning electron microscope(FE-SEM). As a result, the surface roughness of immersed Hydroxyapatite coated Ti discs increased significantly and the contact angle decreased comparing with control group discs. The surface energy of immersed discs increased except for discs immersed for 14 days.

High Frequency Magnetic Characteristics of $Co_{90}Fe_{10}$ Thin Films and $Co_{90}Fe_{10}/SiO_2$ Multilayers ($Co_{90}Fe_{10}$ 박막 및 $Co_{90}Fe_{10}/SiO_2$ 다층박막의 고주파 자기특성)

  • 윤의중;진현준;박노경;문대철;김좌연
    • Journal of the Korean Magnetics Society
    • /
    • v.8 no.5
    • /
    • pp.300-307
    • /
    • 1998
  • The $Co_{90}Fe_{10}$ single layer films were deposited on various substrates (glass, Si, polymide) using high vacuum RF magnetron sputtering system and nominall 1000 $\AA$ thick $Co_{90}Fe_{10}$ alloy films had a good high frequency characteristic. $M_S$ and $H_{an}$ values obtained from the B-H characteristic of the $10{\times}[100 nm \;Co_{90}Fe_{10}/100 nm\; SiO_2]$ multilayers agreed well with those obtained by calculation. Complex relative permeability $(={\{\mu}_r={\mu}_r',-j{\mu}$\mu$_r")$ at frequency f was measured from the transmission characteristics $(S_{11},\; S_{21}\;parameters)$ of the microstrip line which has a stacked structure consisting of sample magnetic films and a conductor and is connected to a network analyzer. The ${\mu}_r'-f$ characteristic was abtained from the megnetic absorption, which was analyzed from the S-parameter characteristics of the microstrip line. The ${\mu}_r'-f$ characteristic was also calculated from the ${\mu}_r"-f$-f characteristic using the Kramers-Kronig relation. The measurement results were confirmed to agree well with those obtained by calculations.culations.

  • PDF

Determination of porosity and effective porosity of saturated porous media using a permittivity method in the laboratory (유전율법을 이용한 다공질 매질의 공극률 및 유효공극률의 측정에 관한 연구)

  • 김만일;니시가끼마코토
    • The Journal of Engineering Geology
    • /
    • v.13 no.4
    • /
    • pp.419-428
    • /
    • 2003
  • In order to evaluate groundwater movement and the infiltration of contaminants, such as petroleum products, the determination of porosity and effective porosity is very important. Porosity and effective porosity are important physical parameters that determine the transfer and movement of water and solutes in porous media. Various methods of determining these parameters have been developed, with varying degrees of accuracy and applicability. Most of the existing methods produce static results. They do not produce instantaneous and real time of porosity and effective porosity in a porous media. In this study, we used a new permittivity method called Frequency Domain Reflectometry with Vector analyzer (FDR-V) to determine the porosity and effective porosity of some sand samples in the laboratory. The advantage of the FDR-V method is that it instantaneously determines the temporal variation of dielectric constants of porous media. Then, the porosity and the effective porosity of porous media are computed using well established empirical equations. Results obtained from the FDR-V method compared favorably with results from other permittivity methods such as gravimetric, injection and replacement tests. The ratio of effective porosity to porosity was 85 - 92 %, when FDR-V was used. This value compared favourably with 90 %, which has been usually quoted in previous studies. Considering the convenience and its applicability, the EDR-V permittivity holds a great potential in porous media and contaminant transport studies.

Rheological Behavior of Semi-Solid Ointment Base (Vaseline) in Steady Shear Flow Fields (정상전단유동장에서 반고형 연고기제(바셀린)의 레올로지 거동)

  • Song, Ki-Won;Kim, Yoon-Jeong;Lee, Chi-Ho
    • Journal of Pharmaceutical Investigation
    • /
    • v.37 no.3
    • /
    • pp.137-148
    • /
    • 2007
  • Using a strain-controlled rheometer [Rheometrics Dynamic Analyzer (RDA II)], the steady shear flow properties of a semi-solid ointment base (vaseline) have been measured over a wide range of shear rates at temperature range of $25{\sim}60^{\circ}C$. In this article, the steady shear flow properties (shear stress, steady shear viscosity and yield stress) were reported from the experimentally obtained data and the effects of shear rate as well as temperature on these properties were discussed in detail. In addition, several inelastic-viscoplastic flow models including a yield stress parameter were employed to make a quantitative evaluation of the steady shear flow behavior, and then the applicability of these models was examined by calculating the various material parameters (yield stress, consistency index and flow behavior index). Main findings obtained from this study can be summarized as follows : (1) At temperature range lower than $40^{\circ}C$, vaseline is regarded as a viscoplastic material having a finite magnitude of yield stress and its flow behavior beyond a yield stress shows a shear-thinning (or pseudo-plastic) feature, indicating a decrease in steady shear viscosity as an increase in shear rate. At this temperature range, the flow curve of vaseline has two inflection points and the first inflection point occurring at relatively lower shear rate corresponds to a static yield stress. The static yield stress of vaseline is decreased with increasing temperature and takes place at a lower shear rate, due to a progressive breakdown of three dimensional network structure. (2) At temperature range higher than $45^{\circ}C$, vaseline becomes a viscous liquid with no yield stress and its flow character exhibits a Newtonian behavior, demonstrating a constant steady shear viscosity regardless of an increase in shear rate. With increasing temperature, vaseline begins to show a Newtonian behavior at a lower shear rate range, indicating that the microcrystalline structure is completely destroyed due to a synergic effect of high temperature and shear deformation. (3) Over a whole range of temperatures tested, the Herschel-Bulkley, Mizrahi-Berk, and Heinz-Casson models are all applicable and have an almostly equivalent ability to quantitatively describe the steady shear flow behavior of vaseline, whereas the Bingham, Casson,and Vocadlo models do not give a good ability.

Reliability Based Pile Bearing Capacity Evaluation (신뢰도에 근거한 말뚝의 지지력 평가)

  • Lee, In-Mo;Jo, Guk-Hwan;Lee, Jeong-Hak
    • Geotechnical Engineering
    • /
    • v.11 no.1
    • /
    • pp.9-22
    • /
    • 1995
  • The purpose of this study is to propose safety factors of pile bearing capacity based on the reliability analysis. Each prediction method involves various degrees of uncertainties. To account for these uncertainties in a systematic way, the ratios of the measured bearing capacity from pile load tests to the predicted bearing capacity are represented in the form of a probability density function. The safety factor for each design method is obtained so that the probability of pile foundation failure is less than 10-3. The Bayesian theorem is applied in a way that the distribution using static formulae is assumed to be the A-prior and the distribution using dynamic formulae or wave equation based methods is assumed to be the likelihood, and these two are combined to obtain the posterior which has the reduced uncertainty. The results of this study show that static formulae of the pile bearing capacity using the 5.p.7. N-value as well as dynamic formulae are highly unreliable and have to have the safety factor more than 7.4 : the wave equation analysis using PDA(Pile Driving Analyzer) system the most reliable with the safety factor close to 2.7. The safety factor could be reduced certain amount by adoption the Bayes methodology in pile design.

  • PDF

Measurement of Mechanical and Physical Properties of Pepper for Particle Behavior Analysis

  • Nam, Ju-Seok;Byun, Jun-Hee;Kim, Tae-Hyeong;Kim, Myoung-Ho;Kim, Dae-Cheol
    • Journal of Biosystems Engineering
    • /
    • v.43 no.3
    • /
    • pp.173-184
    • /
    • 2018
  • Purpose: This study was conducted to investigate the mechanical and physical properties of a Korean red pepper variety for particle behavior analysis. Methods: Poisson's ratio, modulus of elasticity, shear modulus, density, coefficient of restitution, and coefficient of friction were derived for "AR Legend," which is a domestic pepper variety. The modulus of elasticity and Poisson's ratio were measured through a compression test using a texture analyzer. The shear modulus was calculated from the modulus of elasticity and Poisson's ratio. The density was measured using a water pycnometer method. The coefficient of restitution was measured using a collision test, and the static and dynamic friction coefficients were measured using a inclined plane test. Each test was repeated 3-5 times except for density measurement, and the results were analyzed using mean values. Results: Poisson's ratios for the pepper fruit and pepper stem were 0.295 and 0.291, respectively. Elastic moduli of the pepper fruit and pepper stem were $1.152{\times}10^7Pa$ and $3.295{\times}10^7Pa$, respectively, and the shear moduli of the pepper fruit and pepper stem were $4.624{\times}10^6Pa$ and $1.276{\times}10^7Pa$, respectively. The density of the pepper fruit and the pepper stem were $601.8kg/m^3$ and $980.4kg/m^3$, respectively. The restitution coefficients between pepper fruits, pepper stems, a pepper fruit and a pepper stem, a pepper fruit and plastic, and a pepper stem and plastic were 0.383, 0.218, 0.277, 0.399, and 0.148, respectively. The coefficients of static friction between pepper fruits, pepper stems, a pepper fruit and a pepper stem, a pepper fruit and plastic, and a pepper stem and plastic were 0.455, 0.332, 0.306, 0.364, and 0.404, respectively. The coefficients of dynamic friction between a pepper fruit and plastic and a pepper stem and plastic were 0.043 and 0.034, respectively.

An XPDL-based Workflow Model Analyzer (XPDL 기반 워크플로우 모델 분석 도구)

  • Song, Ji-Hye;Kim, Kwang-Hoon
    • Journal of Internet Computing and Services
    • /
    • v.11 no.6
    • /
    • pp.145-157
    • /
    • 2010
  • In this paper, we describe the design details and their implementation of a workflow model (or business process model) analysis system to be used for enhancing resource allocation efficiency and operational performance of enterprise workflows. In other word, the analysis works, proposed in this paper, on XPDL-based workflow models aim to verify the static aspects of the workflow models. Also, the system implemented in the paper is able to not only analyze structural patterns and resource allocation plans' efficiency of enterprise workflows modeled by the XPDL process definition language developed by the international standardization organization, WfMC, but also provide various forms of analytical reports. Conclusively, we strongly believe that the workflow analysis system developed in the paper enables workflow modelers to not only analyze and scrutinize structural patterns of their workflow models but also estimate their process resources assigning and planning measurements in order to improve accuracy, reliability and efficiency of enterprise workflows.

A study on measurement of physical parameters using electromagnetic wave of the compacted saturated soil (고주파수 전자기파를 이용한 압밀 포화토 물성치 측정을 위한 연구)

  • Kim, Man-Il;Kim, Hyoung-Soo;Suk, Hee-Jun
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2005.03a
    • /
    • pp.354-361
    • /
    • 2005
  • Physical parameters such as porosity and effective porosity are important physical parameters that determine the transfer and movement of water and solutes in porous media. Various methods of determining these parameters have been developed, with varying degrees of accuracy and applicability. Most of the existing methods produce static results. They do not produce instantaneous and real time of porosity and effective porosity in a porous media. In this study, a new permittivity method called Frequency Domain Reflectometry with Vector analyzer (FDR-V) is proposed to determine the porosity and effective porosity of some sand samples in the laboratory. The advantage of the FDR-V method is that it instantaneously determines the temporal variation of dielectric constants of porous media. Then, the porosity and the effective porosity of porous media are computed using well established empirical equations. Results obtained from the FDR-V method compared favorably with results from other permittivity methods such as gravimetric, injection and replacement tests. The ratio of effective porosity to porosity was $85{\sim}92%$, when FDR-V was used. This value compared favourably with 90%, which has been usually quoted in previous studies. Considering the convenience and its applicability, the measurement system of FDR-V permittivity holds a great potential in porous media and contaminant transport studies.

  • PDF

Prediction of End Bearing Capacity for Pre-Bored Steel Pipe Piles Using Instrumented Spt Rods (SPT 에너지효율 측정 롯드를 이용한 매입말뚝의 선단지지력 예측)

  • Nam, Moon S.;Park, Young-Ho;Park, Yong-Seok
    • Journal of the Korean Geotechnical Society
    • /
    • v.29 no.12
    • /
    • pp.105-111
    • /
    • 2013
  • The standard penetration test (SPT) has been widely used because of its usability, economy, and many correlations with soil properties among other factors. In SPT, hammer energy is an important factor to evaluate and calibrate N values. To measure hammer energy, an instrumented SPT rod was developed considering that stress waves transferring on rods during SPT driving are the same as stress waves transferring on piles due to pile driving. Using this idea, an instrumented SPT rod with a pile driving analyzer was applied as a pile capacity prediction tool in this study. In order to evaluate this method, SPT and dynamic cone tests with the instrumented SPT rod were conducted and also 2 pile load tests were performed on pre-bored steel pipe piles at the same test site. End bearings were predicted by CAPWAP analysis on force and velocity waves from dynamic cone penetration tests and SPT. Comparing these predicted end bearings with static pile load tests, a new prediction method of the end bearing capacity using the instrumented SPT rod was proposed.