Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945152125> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2945152125 abstract "Static analysis is an effective way of checking memory safety issues in program. Usually, multiple analysis algorithms usually run together to achieve a precise analysis result. In this paper, a novel analysis frame work over access path is presented for incorporating analysis algorithms. A pointer analysis based on access path works as a base layer, alias and pointer information are automatically handled. An summary based checking algorithm is designed for checking real world project. Moreover, the framework is fully extensible and various analysis can be added as plugins. Experimental results show that our method has good precision on Juliet Test Suite and scales to large software." @default.
- W2945152125 created "2019-05-29" @default.
- W2945152125 creator A5068911982 @default.
- W2945152125 creator A5071579968 @default.
- W2945152125 creator A5073106555 @default.
- W2945152125 creator A5082437433 @default.
- W2945152125 date "2018-12-01" @default.
- W2945152125 modified "2023-09-26" @default.
- W2945152125 title "Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path" @default.
- W2945152125 doi "https://doi.org/10.1109/apsec.2018.00044" @default.
- W2945152125 hasPublicationYear "2018" @default.
- W2945152125 type Work @default.
- W2945152125 sameAs 2945152125 @default.
- W2945152125 citedByCount "0" @default.
- W2945152125 crossrefType "proceedings-article" @default.
- W2945152125 hasAuthorship W2945152125A5068911982 @default.
- W2945152125 hasAuthorship W2945152125A5071579968 @default.
- W2945152125 hasAuthorship W2945152125A5073106555 @default.
- W2945152125 hasAuthorship W2945152125A5082437433 @default.
- W2945152125 hasConcept C111919701 @default.
- W2945152125 hasConcept C119857082 @default.
- W2945152125 hasConcept C120314980 @default.
- W2945152125 hasConcept C124101348 @default.
- W2945152125 hasConcept C128942645 @default.
- W2945152125 hasConcept C137287247 @default.
- W2945152125 hasConcept C150202949 @default.
- W2945152125 hasConcept C151552104 @default.
- W2945152125 hasConcept C152877465 @default.
- W2945152125 hasConcept C199360897 @default.
- W2945152125 hasConcept C2777735758 @default.
- W2945152125 hasConcept C2777904410 @default.
- W2945152125 hasConcept C32833848 @default.
- W2945152125 hasConcept C41008148 @default.
- W2945152125 hasConcept C46681722 @default.
- W2945152125 hasConcept C48044578 @default.
- W2945152125 hasConcept C4924752 @default.
- W2945152125 hasConcept C529173508 @default.
- W2945152125 hasConcept C7263679 @default.
- W2945152125 hasConcept C9390403 @default.
- W2945152125 hasConcept C97686452 @default.
- W2945152125 hasConcept C98183937 @default.
- W2945152125 hasConceptScore W2945152125C111919701 @default.
- W2945152125 hasConceptScore W2945152125C119857082 @default.
- W2945152125 hasConceptScore W2945152125C120314980 @default.
- W2945152125 hasConceptScore W2945152125C124101348 @default.
- W2945152125 hasConceptScore W2945152125C128942645 @default.
- W2945152125 hasConceptScore W2945152125C137287247 @default.
- W2945152125 hasConceptScore W2945152125C150202949 @default.
- W2945152125 hasConceptScore W2945152125C151552104 @default.
- W2945152125 hasConceptScore W2945152125C152877465 @default.
- W2945152125 hasConceptScore W2945152125C199360897 @default.
- W2945152125 hasConceptScore W2945152125C2777735758 @default.
- W2945152125 hasConceptScore W2945152125C2777904410 @default.
- W2945152125 hasConceptScore W2945152125C32833848 @default.
- W2945152125 hasConceptScore W2945152125C41008148 @default.
- W2945152125 hasConceptScore W2945152125C46681722 @default.
- W2945152125 hasConceptScore W2945152125C48044578 @default.
- W2945152125 hasConceptScore W2945152125C4924752 @default.
- W2945152125 hasConceptScore W2945152125C529173508 @default.
- W2945152125 hasConceptScore W2945152125C7263679 @default.
- W2945152125 hasConceptScore W2945152125C9390403 @default.
- W2945152125 hasConceptScore W2945152125C97686452 @default.
- W2945152125 hasConceptScore W2945152125C98183937 @default.
- W2945152125 hasLocation W29451521251 @default.
- W2945152125 hasOpenAccess W2945152125 @default.
- W2945152125 hasPrimaryLocation W29451521251 @default.
- W2945152125 hasRelatedWork W1553011476 @default.
- W2945152125 hasRelatedWork W204293210 @default.
- W2945152125 hasRelatedWork W2066669257 @default.
- W2945152125 hasRelatedWork W2088569679 @default.
- W2945152125 hasRelatedWork W2139980638 @default.
- W2945152125 hasRelatedWork W2361826299 @default.
- W2945152125 hasRelatedWork W2945152125 @default.
- W2945152125 hasRelatedWork W4231704316 @default.
- W2945152125 hasRelatedWork W4247155915 @default.
- W2945152125 hasRelatedWork W4289550943 @default.
- W2945152125 isParatext "false" @default.
- W2945152125 isRetracted "false" @default.
- W2945152125 magId "2945152125" @default.
- W2945152125 workType "article" @default.