Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022132275> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2022132275 abstract "Alias analysis is a branch of static program analysis aiming at computing variables which are alias of each other. It is a basis research for many analyses and optimizations in software engineering and compiler construction. Precise modeling of alias analysis is fundamental for software analysis. This paper presents two practical approximation models for representing and computing alias: memory-sensitive model (MSM) and value-sensitive model (VSM). Based on defect-oriented detecting, we present a method to detect software defect using VSM and MSM, which realizes inter-procedure detecting by procedure summary. According to whether type of analysis object coming from defect is value-sensitive or memory-sensitive, we propose two detecting algorithms based on two alias models respectively. One is for memory leak (ML) based on MSM, and the other is for invalid arithmetic operation (IAO) based on VSM. We apply a defect testing system (DTS) to detect six C++ open source projects for proving our models effectiveness. Experimental results show that applying our technique to detect IAO and ML defect can improve detecting efficiency, at the same time reduce potential false positives and false negatives." @default.
- W2022132275 created "2016-06-24" @default.
- W2022132275 creator A5037989330 @default.
- W2022132275 creator A5043039309 @default.
- W2022132275 creator A5048897691 @default.
- W2022132275 date "2012-12-01" @default.
- W2022132275 modified "2023-09-24" @default.
- W2022132275 title "An Interval-Based Model for Detecting Software Defect Using Alias Analysis" @default.
- W2022132275 cites W1536098516 @default.
- W2022132275 cites W1543471126 @default.
- W2022132275 cites W1734116059 @default.
- W2022132275 cites W1972427803 @default.
- W2022132275 cites W2017785995 @default.
- W2022132275 cites W2069476565 @default.
- W2022132275 cites W2074954052 @default.
- W2022132275 cites W2095115578 @default.
- W2022132275 cites W2131135493 @default.
- W2022132275 cites W2132568114 @default.
- W2022132275 cites W2151360539 @default.
- W2022132275 cites W2153578567 @default.
- W2022132275 cites W2154847114 @default.
- W2022132275 cites W2156549049 @default.
- W2022132275 cites W2158047578 @default.
- W2022132275 cites W2366115416 @default.
- W2022132275 doi "https://doi.org/10.1109/apsec.2012.14" @default.
- W2022132275 hasPublicationYear "2012" @default.
- W2022132275 type Work @default.
- W2022132275 sameAs 2022132275 @default.
- W2022132275 citedByCount "3" @default.
- W2022132275 countsByYear W20221322752013 @default.
- W2022132275 crossrefType "proceedings-article" @default.
- W2022132275 hasAuthorship W2022132275A5037989330 @default.
- W2022132275 hasAuthorship W2022132275A5043039309 @default.
- W2022132275 hasAuthorship W2022132275A5048897691 @default.
- W2022132275 hasConcept C1009929 @default.
- W2022132275 hasConcept C11413529 @default.
- W2022132275 hasConcept C124101348 @default.
- W2022132275 hasConcept C136085584 @default.
- W2022132275 hasConcept C154945302 @default.
- W2022132275 hasConcept C156731835 @default.
- W2022132275 hasConcept C169590947 @default.
- W2022132275 hasConcept C176649486 @default.
- W2022132275 hasConcept C199360897 @default.
- W2022132275 hasConcept C2777904410 @default.
- W2022132275 hasConcept C41008148 @default.
- W2022132275 hasConcept C46681722 @default.
- W2022132275 hasConcept C64869954 @default.
- W2022132275 hasConcept C97686452 @default.
- W2022132275 hasConceptScore W2022132275C1009929 @default.
- W2022132275 hasConceptScore W2022132275C11413529 @default.
- W2022132275 hasConceptScore W2022132275C124101348 @default.
- W2022132275 hasConceptScore W2022132275C136085584 @default.
- W2022132275 hasConceptScore W2022132275C154945302 @default.
- W2022132275 hasConceptScore W2022132275C156731835 @default.
- W2022132275 hasConceptScore W2022132275C169590947 @default.
- W2022132275 hasConceptScore W2022132275C176649486 @default.
- W2022132275 hasConceptScore W2022132275C199360897 @default.
- W2022132275 hasConceptScore W2022132275C2777904410 @default.
- W2022132275 hasConceptScore W2022132275C41008148 @default.
- W2022132275 hasConceptScore W2022132275C46681722 @default.
- W2022132275 hasConceptScore W2022132275C64869954 @default.
- W2022132275 hasConceptScore W2022132275C97686452 @default.
- W2022132275 hasLocation W20221322751 @default.
- W2022132275 hasOpenAccess W2022132275 @default.
- W2022132275 hasPrimaryLocation W20221322751 @default.
- W2022132275 hasRelatedWork W2019400959 @default.
- W2022132275 hasRelatedWork W208064002 @default.
- W2022132275 hasRelatedWork W2085192856 @default.
- W2022132275 hasRelatedWork W2117943440 @default.
- W2022132275 hasRelatedWork W2174769194 @default.
- W2022132275 hasRelatedWork W2795151801 @default.
- W2022132275 hasRelatedWork W2895413350 @default.
- W2022132275 hasRelatedWork W2905252359 @default.
- W2022132275 hasRelatedWork W2909653756 @default.
- W2022132275 hasRelatedWork W2945194746 @default.
- W2022132275 hasRelatedWork W3037685613 @default.
- W2022132275 hasRelatedWork W3122462445 @default.
- W2022132275 hasRelatedWork W3138857538 @default.
- W2022132275 hasRelatedWork W3142089163 @default.
- W2022132275 hasRelatedWork W3203546862 @default.
- W2022132275 hasRelatedWork W2818879714 @default.
- W2022132275 hasRelatedWork W2828615943 @default.
- W2022132275 hasRelatedWork W2965761254 @default.
- W2022132275 hasRelatedWork W3018650082 @default.
- W2022132275 hasRelatedWork W3181618505 @default.
- W2022132275 isParatext "false" @default.
- W2022132275 isRetracted "false" @default.
- W2022132275 magId "2022132275" @default.
- W2022132275 workType "article" @default.