Matches in SemOpenAlex for { <https://semopenalex.org/work/W2998267971> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2998267971 abstract "Precise pointer analysis is desired since many program analyses benefit from it both in precision and performance. There are several dimensions of pointer analysis precision, flow sensitivity, context sensitivity, field sensitivity and path sensitivity. The more dimensions a pointer analysis considers, the more accurate its results will be. However, considering all dimensions is difficult because the trade-off between precision and efficiency should be balanced. This paper presents a flow, context, field and quasi path sensitive pointer analysis algorithm for C programs. Our algorithm runs on a control flow automaton, a key structure for our analysis to be flow sensitive. During the analysis process, we use function summaries to get context information. Elements of aggregate structures are handled to improve precision. We collect path conditions to filter unreachable paths and make all points-to relations gated. For efficiency, we propose a multi-entry mechanism. The algorithm is implemented in TsmartGP, which is an extension of CPAchecker. Our algorithm is compared with some state-of-the-art algorithms and TsmartGP is compared with cppcheck and Clang Static Analyzer by detecting uninitialized pointer errors in 13 real-world applications. The experimental results show that our algorithm is more accurate and TsmartGP can find more errors than other tools." @default.
- W2998267971 created "2020-01-10" @default.
- W2998267971 creator A5045282367 @default.
- W2998267971 creator A5068911982 @default.
- W2998267971 creator A5071579968 @default.
- W2998267971 creator A5088526794 @default.
- W2998267971 date "2019-12-01" @default.
- W2998267971 modified "2023-09-26" @default.
- W2998267971 title "Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis" @default.
- W2998267971 cites W1557543533 @default.
- W2998267971 cites W1586099086 @default.
- W2998267971 cites W1591856965 @default.
- W2998267971 cites W1734116059 @default.
- W2998267971 cites W1982205631 @default.
- W2998267971 cites W2003675210 @default.
- W2998267971 cites W2029674270 @default.
- W2998267971 cites W2048229966 @default.
- W2998267971 cites W2076090418 @default.
- W2998267971 cites W2122751766 @default.
- W2998267971 cites W2131135493 @default.
- W2998267971 cites W2133680060 @default.
- W2998267971 cites W2134569009 @default.
- W2998267971 cites W2148755014 @default.
- W2998267971 cites W2149237601 @default.
- W2998267971 cites W2297774820 @default.
- W2998267971 cites W2547862110 @default.
- W2998267971 cites W2755821473 @default.
- W2998267971 cites W2767983111 @default.
- W2998267971 doi "https://doi.org/10.1109/apsec48747.2019.00044" @default.
- W2998267971 hasPublicationYear "2019" @default.
- W2998267971 type Work @default.
- W2998267971 sameAs 2998267971 @default.
- W2998267971 citedByCount "0" @default.
- W2998267971 crossrefType "proceedings-article" @default.
- W2998267971 hasAuthorship W2998267971A5045282367 @default.
- W2998267971 hasAuthorship W2998267971A5068911982 @default.
- W2998267971 hasAuthorship W2998267971A5071579968 @default.
- W2998267971 hasAuthorship W2998267971A5088526794 @default.
- W2998267971 hasConcept C11413529 @default.
- W2998267971 hasConcept C124101348 @default.
- W2998267971 hasConcept C127413603 @default.
- W2998267971 hasConcept C150202949 @default.
- W2998267971 hasConcept C154945302 @default.
- W2998267971 hasConcept C199360897 @default.
- W2998267971 hasConcept C21200559 @default.
- W2998267971 hasConcept C24326235 @default.
- W2998267971 hasConcept C2777735758 @default.
- W2998267971 hasConcept C41008148 @default.
- W2998267971 hasConcept C489000 @default.
- W2998267971 hasConcept C7263679 @default.
- W2998267971 hasConcept C77088390 @default.
- W2998267971 hasConcept C80444323 @default.
- W2998267971 hasConcept C88468194 @default.
- W2998267971 hasConcept C97686452 @default.
- W2998267971 hasConceptScore W2998267971C11413529 @default.
- W2998267971 hasConceptScore W2998267971C124101348 @default.
- W2998267971 hasConceptScore W2998267971C127413603 @default.
- W2998267971 hasConceptScore W2998267971C150202949 @default.
- W2998267971 hasConceptScore W2998267971C154945302 @default.
- W2998267971 hasConceptScore W2998267971C199360897 @default.
- W2998267971 hasConceptScore W2998267971C21200559 @default.
- W2998267971 hasConceptScore W2998267971C24326235 @default.
- W2998267971 hasConceptScore W2998267971C2777735758 @default.
- W2998267971 hasConceptScore W2998267971C41008148 @default.
- W2998267971 hasConceptScore W2998267971C489000 @default.
- W2998267971 hasConceptScore W2998267971C7263679 @default.
- W2998267971 hasConceptScore W2998267971C77088390 @default.
- W2998267971 hasConceptScore W2998267971C80444323 @default.
- W2998267971 hasConceptScore W2998267971C88468194 @default.
- W2998267971 hasConceptScore W2998267971C97686452 @default.
- W2998267971 hasLocation W29982679711 @default.
- W2998267971 hasOpenAccess W2998267971 @default.
- W2998267971 hasPrimaryLocation W29982679711 @default.
- W2998267971 hasRelatedWork W10851983 @default.
- W2998267971 hasRelatedWork W10951979 @default.
- W2998267971 hasRelatedWork W14710392 @default.
- W2998267971 hasRelatedWork W2371519 @default.
- W2998267971 hasRelatedWork W316117 @default.
- W2998267971 hasRelatedWork W506074 @default.
- W2998267971 hasRelatedWork W5670274 @default.
- W2998267971 hasRelatedWork W5990311 @default.
- W2998267971 hasRelatedWork W7096863 @default.
- W2998267971 hasRelatedWork W7362409 @default.
- W2998267971 isParatext "false" @default.
- W2998267971 isRetracted "false" @default.
- W2998267971 magId "2998267971" @default.
- W2998267971 workType "article" @default.