The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
There are many illegal value use defects in C programs, for example, illegal computing, use of uninitialized variables and array out of bounds. When C programs are running, these defects may cause software failure, and may lead to serious consequences. For fully detecting these illegal value use defects, we apply abstract regions simulate memory blocks that allocated to memory objects at the runtime,...
There are many illegal memory access (IMA) defects in C programs, for example, null pointer dereference, buffer overflow and array out of bounds. When C programs are running, these defects may cause software failure, and may lead to serious consequences. In order to fully detect these IMA defects, we apply abstract regions to simulate memory blocks that allocated to memory objects at the runtime,...
In this paper, a region-based symbolic three-valued logic (RSTVL) is to describe the storage state of a momory object. RSTVL utilises abstract region to simulate the block of the concrete memory, a symbolic expression to express the value of a memory object, and the interval domain to describe the value of each symbol of symbolic expression, and then various operations for memory objects are mapped...
On account of the complexity of programs, it is a difficult work to recognize all addressable expressions, which is one of the preconditions of sound static analysis. This paper introduces an approach to recognizing all addressable expressions of C program. Firstly, we induce grammar patterns of C addressable expressions, mapping each kind of them to node of abstract syntax tree (AST), providing the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.