| Citation: | Li Ji, Wang Lei. Method for precisely detecting buffer overflow vulnerabilities in C programs[J]. Journal of Beijing University of Aeronautics and Astronautics, 2008, 34(03): 319-322. (in Chinese)
|
|
[1] Cowan C, Wagle P, Pu C, et al. Buffer overflows: attacks and defenses for the vulnerability of the decade DARPA Information Survivability Conference and Expo (DISCEX). Hilton Head, SC: IEEE Computer Society Press, 2000:154-163 [2] Necula G C, McPeak S, Weimer W. CCured: typesafe retrofitting of legacy code ACM SIGPLAN-SIGACT Conference on the Principles of Programming Languages (POPL). Portland: ACM Press, 2002:128-139 [3] Shankar U, Talwar K, Foster J S, et al. Detecting format string vulnerabilities with type qualifiers Proc of the 10th USENIX Security Symposium, 2001 [4] Zitser M. Securing software: an evaluation of static source code analyzers . Massachusetts: Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2003 [5] Henzinger T A, Jhala R, Majumdar R, et al. Lazy abstraction Proc of the 29th Annual Symp on Principles of Programming Languages (POPL) . New York:ACM, 2002:58-70 [6] Beyer D, Henzinger T A, Jhala R, et al. Checking memory safety with blast Proc of the FASE 2005. LNCS 3442.Heidelberg: Springer-Verlag, 2005,3442:2-18
|
| [1] | ZHAO Yuyu, WANG Baocheng, HUANG Tingshuang, JIA Zhongzhen, DU Xiaowei, XU Guoning. Research on Model Predictive Control Strategy for Buck-Boost Converter of Near-Space Aircraft[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0860 |
| [2] | XIONG Zhenyang, YIN Jingyuan, HUO Qunhai, HAN Libo, WEI Tongzhen. A novel high gain DC-DC converter based on switched capacitor and triple-winding coupled inductor voltage multiplier unit[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024-0838 |
| [3] | HUANG Zhijie, LIU Wei, GUO Zhiqiang. Optimization Design of LLC Resonant Converters for Efficiency and Power Density Based on Genetic Algorithm[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0891 |
| [4] | LYU Y L，GOU Y，LI M，et al. Ship detection method based on attentional guidance and multi-sample decision[J]. Journal of Beijing University of Aeronautics and Astronautics，2025，51（1）：202-213 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.1004. |
| [5] | HUANG Y Z，QUAN Y K，XU G Q，et al. Transient heat flow measurement method based on Laplace transform[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（12）：3834-3841 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0904. |
| [6] | HAN S C，LIU H. A large-capacity zero-watermarking algorithm for color images based on combined transform domain[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（7）：2093-2103 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2023.0009. |
| [7] | LI Dan, CUI Wen-feng, CHEN Gui-peng. ptimal dynamic response exploration for SIMO Buck converter based on differential evolution algorithm[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0356 |
| [8] | TAN Ziyu, HAN Meng, HAN Xiao, ZHAO Shuo, JIANG Yuhan, LIN Yuzhen. A Method for Analyzing Pressure Fluctuation Signals Based on Wavelet Transform[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0781 |
| [9] | JI Li-bin, ZHU Yan, CUI Tian-shu, WANG Dong, HUANG Yong-hui. LPI radar signal recognition based on time-frequency reassignment algorithm[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0218 |
| [10] | ZHANG P，ZHOU Q X，YU H Q，et al. Fast detection method of mental fatigue based on EEG signal characteristics[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（1）：145-154 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0211. |
| [11] | HU Xiao-fei, LI Hong, CENG Yang-bin, SU Wen-zhe, XU Guo-ning. A non-resonant linear soft-switching DC-DC step-up converter featuring current balancing for aerostat power systems[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2022.1023 |
| [12] | LI Hong, LIANG Yi-di, YIN Cheng-dong, ZHENG Qiong-lin, ZHANG Bo. The Topology Self-generating Method of the Isolated DC-DC Converters with Two Switches[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0483 |
| [13] | BAI Jing-bo, CHEN Yu, XIE Shi-yu, DAI Xin-wei. Design Method for Modulation Strategy of a Single-Inductor Multi-Port Converter Based on Reinforcement Learning[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0302 |
| [14] | ZHANG Yang, QIU Dong-yuan, ZHANG Bo, CHEN Yan-feng. Comprehensive Evaluation of DC-DC Converters Based on Analytic Hierarchy Process and Entropy Method[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0291 |
| [15] | WANG Jia-yi, GAO Feng, ZHANG Tian-ge, GAN Yan-hai. Multi-Source Remote Sensing Image Classification Based on Wavelet Transform and Parallel Attention[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0329 |
| [16] | SHI F Y，ZHENG X J，JIANG L H，et al. Point cloud registration algorithm for non-cooperative targets based on Hough transform[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：2071-2078 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0575. |
| [17] | CHEN X M，ZHU Y C，LING J，et al. Energy-efficiency characteristic investigation of rotational inertia hydraulic converter[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：1982-1990 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0570. |
| [18] | XU Aiming, HUANG Yuxing, SHEN Qiu. Hyperspectral image compression method based on 3D Saab transform[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(8): 1505-1514. doi: 10.13700/j.bh.1001-5965.2021.0521 |
| [19] | XIONG Shichao, NI Jiacheng, ZHANG Qun, LUO Ying, WANG Yansong. 2-D compressed sensing SAR imaging based on mixed sparse representation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(11): 2314-2324. doi: 10.13700/j.bh.1001-5965.2021.0101 |
| [20] | PENG Yan, GUO Junbin, YU Chuanqiang, KE Bing. Calibration method for high precision camera based on plane transformation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(7): 1297-1303. doi: 10.13700/j.bh.1001-5965.2021.0015 |
| 1. | 贾续毅，龚春林，李春娜. 基于POD和BPNN的流场快速计算方法. 西北工业大学学报. 2021(06): 1212-1221 .  |
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
Gu Yizhuo, Zhang Zuoguang, Li Min, et al. Principle and technique of sand consolidation with novel epoxy-phenolic resins system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2005, 31(12): 1303-1307. (in Chinese)
DownLoad: