摘要 |
PROBLEM TO BE SOLVED: To solve a problem of erroneous operation, where only releasing a dynamic memory can be detected and releasing an unsecured domain is indicated at a reception side for release failure while only securing the dynamic memory can be detected at a transmission side during source analysis by static code analysis, and a problem due to communication by a descriptor (identifier) used for consistent transmission/reception because static code analysis is analysis by a processing flow for tracing function calls, a processing flow is parted owing to different functions between reception and transmission sides at data exchange between multi-threads, the multi-threads enable parallel processing, and data cannot be released at the transmission side and need to be released at the reception side once the data required is stored in the dynamic memory secured at the transmission side and is passed to the reception side. SOLUTION: The descriptor is recorded in the static code analysis, thus recognizing that processing flows at the transmission and reception sides have been correlated in the analysis to prevent an erroneous indication. COPYRIGHT: (C)2011,JPO&INPIT
|