• 제목/요약/키워드: Use-after-Free

검색결과 520건 처리시간 0.023초

소프트웨어 개발단계 Use-After-Free 보안약점 제거방안 연구 (A Study on the Remove Use-After-Free Security Weakness)

  • 박용구;최진영
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제6권1호
    • /
    • pp.43-50
    • /
    • 2017
  • 최근 컴퓨터 시스템 내부에 존재하는 웹 브라우저, 운영체제 커널 등에서 Use-After-Free 보안문제가 지속적으로 발생하고 있다. 해당 보안약점은 기존의 보안약점 탐지방법으로 제거하기 어려우며 소프트웨어 내부에 해당 보안약점이 존재할 경우 내부 보안에 심각한 영향을 미친다. 본 논문에서는 소프트웨어 개발 과정에서 해당 보안약점을 제거하기 위한 방안을 연구하였다. 이 과정에서 해당 보안약점의 발생 원인을 정리하고 이를 제거하기 위한 방법을 제시한다.

동적 기호 실행을 이용한 윈도우 시스템 콜 Use-After-Free 취약점 자동 탐지 방법 (Automated Method for Detecting Use-After-Free Vulnerability of Windows System Calls Using Dynamic Symbolic Execution)

  • 강상용;이권왕;노봉남
    • 정보보호학회논문지
    • /
    • 제27권4호
    • /
    • pp.803-810
    • /
    • 2017
  • 최근 소프트웨어 산업의 발달에 따른 사회적 보안 문제가 지속적으로 발생하고 있으며, 소프트웨어 안정성 검증을 위해 다양한 자동화 기법들이 사용되고 있다. 본 논문에서는 소프트웨어 테스팅 기법 중 하나인 동적 기호 실행을 이용해 윈도우 시스템 콜 함수를 대상으로 Use-After-Free 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 목표 지점을 선정하기 위한 정적 분석 기반 패턴 탐색을 수행한다. 탐지된 패턴 지점을 바탕으로 관심 밖의 영역으로의 분기를 차단하는 유도된 경로 탐색 기법을 적용한다. 이를 통해 기존 동적 기호 실행 기술의 한계점을 극복하고, 실제 목표 지점에서의 취약점 발생 여부를 검증한다. 제안한 방법을 실험한 결과 기존에 수동으로 분석해야 했던 Use-After-Free 취약점을 제안한 자동화 기법으로 탐지할 수 있음을 확인하였다.

전외측 대퇴부 천공지 유리피판을 이용한 하지 재건 (Reconstruction of Lower Extremities using Anterolateral thigh Perforator Free Flaps)

  • 김태곤;강민구
    • Journal of Trauma and Injury
    • /
    • 제20권2호
    • /
    • pp.119-124
    • /
    • 2007
  • Purpose: Management of the soft tissue defect in the lower extremity caused by trauma has always been difficult. Coverage with local and free muscle flaps after complete surgical excision of necrotic soft tissue and bone is a major strategy for treatment. There is no doubt that muscle provides a good blood supply, thus improving bone healing and increasing resistance to bacterial inoculation. However, accompanying problems are seen in cases with shallow dead space. This research was conducted to assess the efficacy of raising anterolateral thigh flaps and transferring them to the defect after complete debridement of non-viable, infected, and scar tissue as an alternative way to use local or free muscle flaps. Methods: From March 2005 to October 2007, 18 cases of soft tissue defect on lower extremities were re-surfaced with an anterolateral thigh perforator free flap. Results: The follow-up period ranged from 1 to 31 months with a mean of 15.9 months. All flaps survived completely. Satisfactory aesthetic and functional results were achieved. Under a two-point discrimination test, 13 patients had sensory recovery from 11 mm to 20 mm after 6 months postoperatively. Conclusion: Reconstruction of the lower extremity with anterolateral thigh perforator free flaps after appropriate debridement is a good alternative way to use local or free muscle flaps.

FRRmalloc:일회성 할당 및 리매핑 기반의 효율적인 Use-After-Free 방지 (FRRmalloc : Efficient Use-After-Free prevention based on One-time-allocation and batch remapping)

  • 김정훈;조영필
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2024년도 춘계학술발표대회
    • /
    • pp.386-388
    • /
    • 2024
  • UAF(Use-After-Free)는 heap 영역에서 메모리 오염을 발생시킬 수 있는 취약점이다. UAF를 방지하기 위해 다양한 방법으로 관련 연구가 활발히 이루어지고 있지만, 아직까지 여러 오버헤드 측면에서 모두 좋은 성능을 발휘한 결과는 나오지 않고 있다. 할당자 수준에서의 수정을 통하여, UAF 취약점 방어를 보장하는 동시에 높은 성능과 낮은 오버헤드를 발생시킬 수 있는 방법을 제시한다. 본 논문에서는 UAF 취약점 및 관련 연구를 소개하고, 이를 기반으로 UAF 취약점에 대처할 수 있는 방법을 제시한다.

Use-After-Free 버그 탐지 및 예방 연구 동향 분석 (Analyze trends in Use-After-Free bug detection and blocking research)

  • 김진환;조영필
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2024년도 춘계학술발표대회
    • /
    • pp.222-225
    • /
    • 2024
  • 전통적 프로그래밍 언어인 C/C++는 시스템 프로그래밍 언어로 널리 사용되고 있으며, 이는 저수준 메모리 제어와 하드웨어 상호작용 등의 특성 때문이다. 하지만 C/C++가 가지고 있는 특성중 하나인 저수준 메모리 제어는 프로그래머가 직접 메모리를 관리해야한다. 다양한 메모리 버그들중에서 특히 Use-after-free버그는 오래전부터 현재까지 해결되지 않은 버그로써 존재하고 있으며, 이는 프로그래머가 수동으로 메모리를 관리함으로써 발생한다. 이 버그를 예방 및 감지하기 위한 연구가 현재까지도 활발하게 진행되고 있다. 이 버그를 차단 및 감지하는 연구들의 동향을 분석하여 앞으로의 관련 연구의 지속적인 필요성을 제시한다.

경부 식도협착 재건술에 있어서 유리공장 이식편의 이용 (Reconstruction of the Cervical Esophagus Using the Free Jejunal Graft)

  • 지청현
    • Journal of Chest Surgery
    • /
    • 제24권12호
    • /
    • pp.1232-1237
    • /
    • 1991
  • The cervical esophageal stricture has various surgical modalities and difficulties in reconstruction. We had experienced a case of successful reconstruction of the cervical esophageal restenosis using the free jejunal graft, on 30 year old man had had esophageal stricture after ingestion of lye. He had undergone colon interposition[esophagocologastrostomy] with left colon feeding gastrostomy. But restenosis was occurred just above of the cervical esophagocolostomy site several times of balloon dilatation were failed. So, we decided to use of the free jejunal graft. The free jejunal graft was isolated about 15cm length with it`s vascular arcades. The graft was irrigated with the mixed solution as isotonic saline, heparin and papaverine chloride. The artery of graft was anastomosed to the branch of the external carotid artery in end to side with continuous sutures of the 8.0 Prolene. The vein of the graft was anastomosed to the branch of the anterior facial vein in end to end with continuous sutures of the 8.0 prolene. Postoperative course was uneventful and the patient was discharged after removal of the tracheostomy cannula and gastrostomy tube.

  • PDF

한국산 도롱뇽(Hynobius Leechi BOULENGER 의 초기발생단계에 있어서의 유리 아미노산의 정성분석 (Quality Analysis of the Free Amino Acids during the Early Development Stages of Hynobius leechi)

  • 강영선;하두봉;한원택
    • 한국동물학회지
    • /
    • 제4권2호
    • /
    • pp.13-19
    • /
    • 1961
  • Free amino acids at five different developemntal stages (Gastrulation-Hatching -out stage) of Hynobius leechi BOULENGER were analyzed qualitatively by the use of paper paitition chromatography. It was found that the number of free amino acids increased as the development proceeded. The free amino acids identified at each stages are as follows : Gastrulation stage : Alaninie, Aspartic acid, Glutamin acid, Histidine, Methionine. Neural plate formation stage : Alanine , Aspartic acid, Glutamic acid, Glycine, Histidine, MEthionine, Phenylalanine, Proline, Serine, Trypotophan. Middle tail-bud stage : Alanine, Arginine, Asparagine,Aspartic acid, Citrulline, Glutamic acid, Glycine, Histidie,Hydroxyproline, Proline, Leucine, Methionine, Ornithine, Phenylalanine, Serine, Threonine, Tryptophan. Late tail-bud stage : Alanine, Arginine, Asparagine, Aspartic acid, Citrulline, Glutamic acid. Glycine, Histidine, Hydroxyproline, Leucine, Methionine, Ornithine, Phenylalanine, Proline, Serine, Threonine, Tryptophan, Valine. Hatching -out stage : the same with the late tail-bud stage. It seems probable that the metabolic systems of amino acids before and after the middle tail-bud stage are quite different from each other. Before the middle tail=-bud stage, the reaction system of amino acids is thought not to be completed while after that stage the system has been completed , because in the former period of the development , the number of freeamino acids increased rapidly with the development , and after that stage, there is practically no change in the number of free amino acids.

  • PDF

MTE 를 활용한 사용 후 해제 공격 방어기법 연구 (A Study on Defense Technique Against Use-After-Free Attacks Using MTE)

  • 황윤성;유준승;백윤흥
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2024년도 춘계학술발표대회
    • /
    • pp.279-282
    • /
    • 2024
  • The Use-after-free (UAF) bug is a long-standing temporal memory safety issue. To prevent UAF attacks, two commonly used approaches are lock-and-key and pointer nullification. Recently, ARM architecture supports the Memory Tagging Extension (MTE) that implemented a lock-and-key mechanism using a 4-bit tag during memory access. Previous research proposed a virtual address tagging scheme utilizing MTE to prevent UAF attacks. In this paper, we aimed to measure a simplified version of the previously proposed virtual address tagging scheme on real machines supporting MTE by implementing a simple module and conducting experiments.

자동차 전장용 무연 솔더 기술 (Lead-free Solder Technology and Reliability for Automotive Electronics)

  • 이순재;정재필
    • 마이크로전자및패키징학회지
    • /
    • 제22권3호
    • /
    • pp.1-7
    • /
    • 2015
  • In this study, properties of Pb-free solders for automotive electronics parts were discussed. Lead-free solders for electronics became important after RoHS (Restriction of the use of certain Hazardous Substances) to avoid environmental pollution. Also the growing electronic rate in automotive parts and ELV (End-of Life Vehicles) make Pb-free solder for automotive electronics to be inevitable trend. Definitely, Pb-free solder for automotive electronics should have good wettability, basic strength, but need more reliability than other solders, since it has harsh condition like high temperature, humidity and engine vibration. Thus, shear strength test, thermal shock, drop test and many others are needed to ensure the high reliability. This study describes the properties and requirements of Pb-free solders for automotive electronics.

대장유리피판(Colon Free Flap)을 이용한 식도재건의 구제술 (Salvage of Esophageal Reconstruction with Colon Free Flap)

  • 이상우;민경원
    • Archives of Plastic Surgery
    • /
    • 제33권2호
    • /
    • pp.245-248
    • /
    • 2006
  • Besides gastric pull-up or colonic interposition, microvascular technique in esophageal reconstruction has been approved reliable methods. When free intestinal transfer is considered, jejunal free flap is commonly used. We treated the patient who had undergone reconstruction with a right colon interposition and suffered from inability of swallowing because of stricture and necrosis of the interposed flap. Although we have planned jejunal free transfer, we couldn't use jejunum due to adhesion by previous gastrojejunostomy and colon interposition. Salvage procedure with microvascualr free left colon flap was executed successfully. After 9 month follow-up, the patient was able to consume a normal diet.