著者

Wataru Hashimoto Takahiro Shinagawa

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2023-OS-160, no.9, pp.1-9, 2023-07-27

---

Low-level languages including C/C++ require manual heap management, which often leads to memory-related bugs. The key challenge of UAF prevention is to ensure that freed heap objects are not accessed through dangling pointers, while not introducing significant performance overhead, and preserving the source code compatibility. We present LeaseMalloc, a system that combines a source code transformation and a runtime library to detect UAF. It ”leases” heap objects to users, then ensures that memory is not accessed through dangling pointers by supervising the lease status of heap objects. Lease information is updated dynamically at runtime, which allows LeaseMalloc to skip the lease check to reduce the performance overhead. We implement LeaseMalloc as an LLVM Pass Plugin to instrument target application and confirmed that it can detect temporal memory errors without modifying application source code.

著者

Keiko MOMMA Wataru HASHIMOTO Hye-Jin YOON Sachiko OZAWA Yasuki FUKUDA Shigeyuki KAWAI Fumio TAKAIWA Shigeru UTSUMI Kousaku MURATA

出版者

Japan Society for Bioscience, Biotechnology, and Agrochemistry

雑誌

Bioscience, Biotechnology, and Biochemistry (ISSN:09168451)

巻号頁・発行日

vol.64, no.9, pp.1881-1886, 2000 (Released:2005-02-05)

参考文献数

12

被引用文献数

32

---

Feeding studies on rice genetically modified with soybean glycinin were performed on rats for four weeks. The rats were divided into three groups, each being fed on (I) only a commercial diet, (II) this diet plus control rice and (III) this diet plus rice genetically modified with glycinin. The rats were fed with 10 g/kg-weight of rice every day by oral administration. During the test period, the rats in every group grew well without marked differences in appearance, food intake, body weight, or cumulative body weight gain. There were also no significant differences in the blood count, blood composition or internal organ weights among the rats. Necropsy at the end of the experiment indicated neither pathological symptoms nor histopathological abnormalities in the liver and kidney. Judging from these results, the rice genetically modified with glycinin is considered to have been essentially the same in nutritional and biochemical characteristics as the control rice.