FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4328105021> ?p ?o ?g. }

• W4328105021 endingPage "102944" @default.
• W4328105021 startingPage "102944" @default.
• W4328105021 abstract "The control flow graph (CFG) representation of a procedure used by virtually all flow-sensitive program analyses, admits a large number of infeasible control flow paths i.e., these paths do not occur in any execution of the program. Hence the information reaching along infeasible paths in an analysis is spurious. This affects the precision of the conventional maximum fixed point (MFP) solution of the data flow analysis, because it includes the information reaching along all control flow paths. The existing approaches for removing this imprecision are either specific to a data flow problem with no straightforward generalization or involve control flow graph restructuring which may exponentially blow up the size of the CFG. We lift the notion of MFP solution to define the notion of feasible path MFP (FPMFP) solutions that exclude the data flowing along known infeasible paths. The notion of FPMFP is generic and does not involve CFG restructuring. Instead, it takes externally supplied information about infeasible paths and lifts any data flow analysis to an analysis that maintains the distinctions between different paths where these distinctions are beneficial, and ignores them where they are not. Thus it gets the benefit of a path-sensitive analysis where it is useful without performing a conventional path-sensitive analysis. Hence, an FPMFP solution is more precise than the corresponding MFP solution in most cases; it is guaranteed to be sound in each case. We implemented the proposed computation of feasible path MFP solutions for reaching definitions analysis and potentially uninitialized variable analysis. We evaluated the precision improvement in these two analyses by analyzing 30 benchmark applications selected from open source, industry, and SPEC CPU 2006. The evaluation results indicate that the precision improvement in these two analyses respectively reduces the number def-use pairs by up to 13.6% (average 2.87%, geometric mean 1.75%), and reduce the potentially uninitialized variable alarms by up to 100% (average 18.5%, geo. mean 3%). We found that the FPMFP computation time was 2.9× of the MFP computation time on average." @default.
• W4328105021 created "2023-03-22" @default.
• W4328105021 creator A5013546709 @default.
• W4328105021 creator A5030116244 @default.
• W4328105021 date "2023-06-01" @default.
• W4328105021 modified "2023-09-23" @default.
• W4328105021 title "Computing maximum fixed point solutions over feasible paths in data flow analyses" @default.
• W4328105021 cites W1976039104 @default.
• W4328105021 cites W2002920670 @default.
• W4328105021 cites W2072385532 @default.
• W4328105021 cites W2134836602 @default.
• W4328105021 cites W2204346447 @default.
• W4328105021 cites W2898125173 @default.
• W4328105021 cites W2913069567 @default.
• W4328105021 cites W2947288614 @default.
• W4328105021 cites W3015644425 @default.
• W4328105021 cites W3030148664 @default.
• W4328105021 cites W3207476902 @default.
• W4328105021 cites W4231935229 @default.
• W4328105021 cites W4235070923 @default.
• W4328105021 doi "https://doi.org/10.1016/j.scico.2023.102944" @default.
• W4328105021 hasPublicationYear "2023" @default.
• W4328105021 type Work @default.
• W4328105021 citedByCount "0" @default.
• W4328105021 crossrefType "journal-article" @default.
• W4328105021 hasAuthorship W4328105021A5013546709 @default.
• W4328105021 hasAuthorship W4328105021A5030116244 @default.
• W4328105021 hasBestOaLocation W43281050212 @default.
• W4328105021 hasConcept C11413529 @default.
• W4328105021 hasConcept C119857082 @default.
• W4328105021 hasConcept C124101348 @default.
• W4328105021 hasConcept C126255220 @default.
• W4328105021 hasConcept C132525143 @default.
• W4328105021 hasConcept C134306372 @default.
• W4328105021 hasConcept C139002025 @default.
• W4328105021 hasConcept C160191386 @default.
• W4328105021 hasConcept C177148314 @default.
• W4328105021 hasConcept C17744445 @default.
• W4328105021 hasConcept C182365436 @default.
• W4328105021 hasConcept C199360897 @default.
• W4328105021 hasConcept C199539241 @default.
• W4328105021 hasConcept C2524010 @default.
• W4328105021 hasConcept C27458966 @default.
• W4328105021 hasConcept C2776359362 @default.
• W4328105021 hasConcept C2777735758 @default.
• W4328105021 hasConcept C33923547 @default.
• W4328105021 hasConcept C38349280 @default.
• W4328105021 hasConcept C41008148 @default.
• W4328105021 hasConcept C45374587 @default.
• W4328105021 hasConcept C489000 @default.
• W4328105021 hasConcept C77088390 @default.
• W4328105021 hasConcept C80444323 @default.
• W4328105021 hasConcept C88468194 @default.
• W4328105021 hasConcept C94625758 @default.
• W4328105021 hasConcept C97256817 @default.
• W4328105021 hasConcept C98183937 @default.
• W4328105021 hasConceptScore W4328105021C11413529 @default.
• W4328105021 hasConceptScore W4328105021C119857082 @default.
• W4328105021 hasConceptScore W4328105021C124101348 @default.
• W4328105021 hasConceptScore W4328105021C126255220 @default.
• W4328105021 hasConceptScore W4328105021C132525143 @default.
• W4328105021 hasConceptScore W4328105021C134306372 @default.
• W4328105021 hasConceptScore W4328105021C139002025 @default.
• W4328105021 hasConceptScore W4328105021C160191386 @default.
• W4328105021 hasConceptScore W4328105021C177148314 @default.
• W4328105021 hasConceptScore W4328105021C17744445 @default.
• W4328105021 hasConceptScore W4328105021C182365436 @default.
• W4328105021 hasConceptScore W4328105021C199360897 @default.
• W4328105021 hasConceptScore W4328105021C199539241 @default.
• W4328105021 hasConceptScore W4328105021C2524010 @default.
• W4328105021 hasConceptScore W4328105021C27458966 @default.
• W4328105021 hasConceptScore W4328105021C2776359362 @default.
• W4328105021 hasConceptScore W4328105021C2777735758 @default.
• W4328105021 hasConceptScore W4328105021C33923547 @default.
• W4328105021 hasConceptScore W4328105021C38349280 @default.
• W4328105021 hasConceptScore W4328105021C41008148 @default.
• W4328105021 hasConceptScore W4328105021C45374587 @default.
• W4328105021 hasConceptScore W4328105021C489000 @default.
• W4328105021 hasConceptScore W4328105021C77088390 @default.
• W4328105021 hasConceptScore W4328105021C80444323 @default.
• W4328105021 hasConceptScore W4328105021C88468194 @default.
• W4328105021 hasConceptScore W4328105021C94625758 @default.
• W4328105021 hasConceptScore W4328105021C97256817 @default.
• W4328105021 hasConceptScore W4328105021C98183937 @default.
• W4328105021 hasLocation W43281050211 @default.
• W4328105021 hasLocation W43281050212 @default.
• W4328105021 hasOpenAccess W4328105021 @default.
• W4328105021 hasPrimaryLocation W43281050211 @default.
• W4328105021 hasRelatedWork W1567692042 @default.
• W4328105021 hasRelatedWork W1573675221 @default.
• W4328105021 hasRelatedWork W2052485000 @default.
• W4328105021 hasRelatedWork W2162436812 @default.
• W4328105021 hasRelatedWork W2166895275 @default.
• W4328105021 hasRelatedWork W2529642124 @default.
• W4328105021 hasRelatedWork W3016804885 @default.
• W4328105021 hasRelatedWork W4235070923 @default.
• W4328105021 hasRelatedWork W4246491533 @default.
• W4328105021 hasRelatedWork W4328105021 @default.

• next