Integer overflow vulnerability will cause buffer overflow. The research on the relationship between them will help us to detect integer overflow vulnerability. We present a dynamic analysis methods RICB （Run-time Int...Integer overflow vulnerability will cause buffer overflow. The research on the relationship between them will help us to detect integer overflow vulnerability. We present a dynamic analysis methods RICB （Run-time Integer Checking via Buffer overflow）. Our approach includes decompile execute file to assembly language; debug the execute file step into and step out; locate the overflow points and checking buffer overflow caused by integer overflow. We have implemented our approach in three buffer overflow types： format string overflow, stack overflow and heap overflow. Experiments results show that our approach is effective and efficient. We have detected more than 5 known integer overflow vulnerabilities via buffer overflow.展开更多
In core logging, each joint set intersects borehole into some segments. In this research, it has been shown that length of the borehole segments created by each joint set could be computed by trigonometrical relations...In core logging, each joint set intersects borehole into some segments. In this research, it has been shown that length of the borehole segments created by each joint set could be computed by trigonometrical relations. By realizing the lengths associated with joint sets, an algorithm has been designed to compute the length of borehole pieces (created by all joint sets) and to calculate RQD. Effect of some factors have been analyzed and applied to the abstract model of the rock mass to have the most similarity to a real rock mass. The program proposed in this study, is a robust platform to calculate the RQD in all directions inside a rock mass without having to deal with the labor of core logging and wrestling with difficulties and inaccuracies of the traditional processes. This is the first algorithmic method for estimating the rock quality which could be employed to develop a new and far more reliable measurement for the degree of jointing inside a rock mass.展开更多
基金Supported by the National Natural Science Foundation of China （60903188）, Shanghai Education Commission Innovation Foundation （11YZ192） and World Expo Science and Technology Special Fund of Shanghai Science and Technology Commission （08dz0580202）.
文摘Integer overflow vulnerability will cause buffer overflow. The research on the relationship between them will help us to detect integer overflow vulnerability. We present a dynamic analysis methods RICB （Run-time Integer Checking via Buffer overflow）. Our approach includes decompile execute file to assembly language; debug the execute file step into and step out; locate the overflow points and checking buffer overflow caused by integer overflow. We have implemented our approach in three buffer overflow types： format string overflow, stack overflow and heap overflow. Experiments results show that our approach is effective and efficient. We have detected more than 5 known integer overflow vulnerabilities via buffer overflow.
文摘In core logging, each joint set intersects borehole into some segments. In this research, it has been shown that length of the borehole segments created by each joint set could be computed by trigonometrical relations. By realizing the lengths associated with joint sets, an algorithm has been designed to compute the length of borehole pieces (created by all joint sets) and to calculate RQD. Effect of some factors have been analyzed and applied to the abstract model of the rock mass to have the most similarity to a real rock mass. The program proposed in this study, is a robust platform to calculate the RQD in all directions inside a rock mass without having to deal with the labor of core logging and wrestling with difficulties and inaccuracies of the traditional processes. This is the first algorithmic method for estimating the rock quality which could be employed to develop a new and far more reliable measurement for the degree of jointing inside a rock mass.
