Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099315956> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2099315956 abstract "A novel approach for points-to information analysis is presented, which can deal with not only the single dereferenced pointers, but also the multiple dereferenced pointers, arrays and pointer arithmetic. In order to analyze them, we extend to the language of inclusion constraints, and further give an inference system, which can be formalized as deriving all possible constraints, and there are no indirect constraints any more. Furthermore, an algorithm is presented, which comprises the single dereferenced pointers, multiple dereferenced pointers, arrays, pointer arithmetic analysis. Another advantage is to offload the work to a static analysis completely, which is a breakthrough of inclusion-based pointer analysis. So we are able to use two linear time algorithms to simplify constraint graph before analyzing, which is very crucial in the performance of the algorithm." @default.
- W2099315956 created "2016-06-24" @default.
- W2099315956 creator A5039924339 @default.
- W2099315956 creator A5087336679 @default.
- W2099315956 creator A5091440766 @default.
- W2099315956 date "2009-01-01" @default.
- W2099315956 modified "2023-09-23" @default.
- W2099315956 title "Inclusion-Based Multi-level Pointer Analysis" @default.
- W2099315956 cites W1532312848 @default.
- W2099315956 cites W1965604953 @default.
- W2099315956 cites W2022443117 @default.
- W2099315956 cites W2046699259 @default.
- W2099315956 cites W2055084740 @default.
- W2099315956 cites W2065088439 @default.
- W2099315956 cites W2069476565 @default.
- W2099315956 cites W2084063516 @default.
- W2099315956 cites W2096587139 @default.
- W2099315956 cites W2118382442 @default.
- W2099315956 cites W2121478122 @default.
- W2099315956 cites W2125725994 @default.
- W2099315956 cites W2150138144 @default.
- W2099315956 cites W2153578567 @default.
- W2099315956 doi "https://doi.org/10.1109/aici.2009.157" @default.
- W2099315956 hasPublicationYear "2009" @default.
- W2099315956 type Work @default.
- W2099315956 sameAs 2099315956 @default.
- W2099315956 citedByCount "1" @default.
- W2099315956 countsByYear W20993159562012 @default.
- W2099315956 crossrefType "proceedings-article" @default.
- W2099315956 hasAuthorship W2099315956A5039924339 @default.
- W2099315956 hasAuthorship W2099315956A5087336679 @default.
- W2099315956 hasAuthorship W2099315956A5091440766 @default.
- W2099315956 hasConcept C11413529 @default.
- W2099315956 hasConcept C132525143 @default.
- W2099315956 hasConcept C150202949 @default.
- W2099315956 hasConcept C154945302 @default.
- W2099315956 hasConcept C199360897 @default.
- W2099315956 hasConcept C2780654840 @default.
- W2099315956 hasConcept C41008148 @default.
- W2099315956 hasConcept C7263679 @default.
- W2099315956 hasConcept C80444323 @default.
- W2099315956 hasConcept C97686452 @default.
- W2099315956 hasConceptScore W2099315956C11413529 @default.
- W2099315956 hasConceptScore W2099315956C132525143 @default.
- W2099315956 hasConceptScore W2099315956C150202949 @default.
- W2099315956 hasConceptScore W2099315956C154945302 @default.
- W2099315956 hasConceptScore W2099315956C199360897 @default.
- W2099315956 hasConceptScore W2099315956C2780654840 @default.
- W2099315956 hasConceptScore W2099315956C41008148 @default.
- W2099315956 hasConceptScore W2099315956C7263679 @default.
- W2099315956 hasConceptScore W2099315956C80444323 @default.
- W2099315956 hasConceptScore W2099315956C97686452 @default.
- W2099315956 hasLocation W20993159561 @default.
- W2099315956 hasOpenAccess W2099315956 @default.
- W2099315956 hasPrimaryLocation W20993159561 @default.
- W2099315956 hasRelatedWork W100570981 @default.
- W2099315956 hasRelatedWork W1515772642 @default.
- W2099315956 hasRelatedWork W1522089540 @default.
- W2099315956 hasRelatedWork W1572250586 @default.
- W2099315956 hasRelatedWork W1734116059 @default.
- W2099315956 hasRelatedWork W1885035175 @default.
- W2099315956 hasRelatedWork W1980440188 @default.
- W2099315956 hasRelatedWork W1996094959 @default.
- W2099315956 hasRelatedWork W2010204191 @default.
- W2099315956 hasRelatedWork W2038036666 @default.
- W2099315956 hasRelatedWork W2044735058 @default.
- W2099315956 hasRelatedWork W2088569679 @default.
- W2099315956 hasRelatedWork W2091141964 @default.
- W2099315956 hasRelatedWork W2139538727 @default.
- W2099315956 hasRelatedWork W2349639756 @default.
- W2099315956 hasRelatedWork W2387682673 @default.
- W2099315956 hasRelatedWork W2390629024 @default.
- W2099315956 hasRelatedWork W2563082156 @default.
- W2099315956 hasRelatedWork W2593313458 @default.
- W2099315956 hasRelatedWork W2955422324 @default.
- W2099315956 isParatext "false" @default.
- W2099315956 isRetracted "false" @default.
- W2099315956 magId "2099315956" @default.
- W2099315956 workType "article" @default.