Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989360268> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2989360268 endingPage "158916" @default.
- W2989360268 startingPage "158904" @default.
- W2989360268 abstract "With the rapid growth of the Internet-of-Things (IoT), security issues for the IoT are becoming increasingly serious. Memory leaks are a common and harmful software defect for IoT programs running on resource-limited devices. Static analysis is an effective method for memory leak detection, however, because the existing methods cannot fully describe the memory state of IoT programs at run time, false positives and false negatives frequently occur. To improve the precision of memory leak detection, we propose an abstract memory model SeqMM to describe sequential storage structures. SeqMM differs from other abstract memory models in its ability to handle both points-to analysis and numerical analysis of pointers, which contributes to eliminating false positives in defect detection. In addition, based on the analysis of the sequential storage structure, we introduce the analysis of its operations in C programs, including transfer operations and predicate operations. Moreover, we present a memory leak detection algorithm by determining the state of the program points related to allocated memory blocks. The experimental results of five real projects indicate that the false positive rates of DTSC_SeqMM, Klocwork12 and DTSC_RSTVL are 29.0%, 15.0% and 40.6% respectively, and the corresponding false negative rates are 0%, 22.7% and 13.6%." @default.
- W2989360268 created "2019-11-22" @default.
- W2989360268 creator A5021512708 @default.
- W2989360268 creator A5045673750 @default.
- W2989360268 creator A5065432400 @default.
- W2989360268 creator A5066716873 @default.
- W2989360268 creator A5083823285 @default.
- W2989360268 date "2019-01-01" @default.
- W2989360268 modified "2023-10-17" @default.
- W2989360268 title "Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM" @default.
- W2989360268 doi "https://doi.org/10.1109/access.2019.2951168" @default.
- W2989360268 hasPublicationYear "2019" @default.
- W2989360268 type Work @default.
- W2989360268 sameAs 2989360268 @default.
- W2989360268 citedByCount "1" @default.
- W2989360268 countsByYear W29893602682020 @default.
- W2989360268 crossrefType "journal-article" @default.
- W2989360268 hasAuthorship W2989360268A5021512708 @default.
- W2989360268 hasAuthorship W2989360268A5045673750 @default.
- W2989360268 hasAuthorship W2989360268A5065432400 @default.
- W2989360268 hasAuthorship W2989360268A5066716873 @default.
- W2989360268 hasAuthorship W2989360268A5083823285 @default.
- W2989360268 hasBestOaLocation W29893602681 @default.
- W2989360268 hasConcept C111919701 @default.
- W2989360268 hasConcept C127413603 @default.
- W2989360268 hasConcept C149635348 @default.
- W2989360268 hasConcept C156731835 @default.
- W2989360268 hasConcept C176649486 @default.
- W2989360268 hasConcept C2780378346 @default.
- W2989360268 hasConcept C41008148 @default.
- W2989360268 hasConcept C81860439 @default.
- W2989360268 hasConcept C87717796 @default.
- W2989360268 hasConcept C98986596 @default.
- W2989360268 hasConceptScore W2989360268C111919701 @default.
- W2989360268 hasConceptScore W2989360268C127413603 @default.
- W2989360268 hasConceptScore W2989360268C149635348 @default.
- W2989360268 hasConceptScore W2989360268C156731835 @default.
- W2989360268 hasConceptScore W2989360268C176649486 @default.
- W2989360268 hasConceptScore W2989360268C2780378346 @default.
- W2989360268 hasConceptScore W2989360268C41008148 @default.
- W2989360268 hasConceptScore W2989360268C81860439 @default.
- W2989360268 hasConceptScore W2989360268C87717796 @default.
- W2989360268 hasConceptScore W2989360268C98986596 @default.
- W2989360268 hasFunder F4320321001 @default.
- W2989360268 hasFunder F4320321392 @default.
- W2989360268 hasLocation W29893602681 @default.
- W2989360268 hasOpenAccess W2989360268 @default.
- W2989360268 hasPrimaryLocation W29893602681 @default.
- W2989360268 hasRelatedWork W1525673462 @default.
- W2989360268 hasRelatedWork W1591048216 @default.
- W2989360268 hasRelatedWork W1721399786 @default.
- W2989360268 hasRelatedWork W2102022837 @default.
- W2989360268 hasRelatedWork W2145484885 @default.
- W2989360268 hasRelatedWork W2258224576 @default.
- W2989360268 hasRelatedWork W2277173623 @default.
- W2989360268 hasRelatedWork W2362496566 @default.
- W2989360268 hasRelatedWork W26428706 @default.
- W2989360268 hasRelatedWork W2738151392 @default.
- W2989360268 hasRelatedWork W2902497574 @default.
- W2989360268 hasRelatedWork W2758740232 @default.
- W2989360268 hasRelatedWork W2764325348 @default.
- W2989360268 hasRelatedWork W2800985694 @default.
- W2989360268 hasRelatedWork W2850186014 @default.
- W2989360268 hasRelatedWork W2860791612 @default.
- W2989360268 hasRelatedWork W2922745779 @default.
- W2989360268 hasRelatedWork W2936693795 @default.
- W2989360268 hasRelatedWork W2937597653 @default.
- W2989360268 hasRelatedWork W3202129470 @default.
- W2989360268 hasVolume "7" @default.
- W2989360268 isParatext "false" @default.
- W2989360268 isRetracted "false" @default.
- W2989360268 magId "2989360268" @default.
- W2989360268 workType "article" @default.