Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252281617> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4252281617 abstract "Static analyzers detect possible run-time errors at compile-time and often employ data-flow analysis techniques to infer properties of programs. Usually, dataflow analysis tools report possible errors with line numbers in source code and leave the task of locating root causes of errors. This paper proposes a technique to aid developers in locating the root causes of statically identified run-time errors with the help of cause-effect paths. A cause effect path terminates at an erroneous statement and originates at the statement which is responsible for the error. We propose modifications to the classic data-flow analysis algorithm to compute cause-effect paths. We discuss different visualization modes in which cause-effect paths can be displayed. As a case study, we implemented a null pointer analyzer, with the additional capability of cause-effect path computation, using the Microsoft Phoenix framework. In addition, we propose a methodology to automatically generate an analyzer which computes cause-effect paths using a framework such as Microsoft Phoenix." @default.
- W4252281617 created "2022-05-12" @default.
- W4252281617 creator A5016780429 @default.
- W4252281617 creator A5044133962 @default.
- W4252281617 date "2013-05-01" @default.
- W4252281617 modified "2023-10-14" @default.
- W4252281617 title "Computation and visualization of cause-effect paths" @default.
- W4252281617 doi "https://doi.org/10.1109/iwast.2013.6595805" @default.
- W4252281617 hasPublicationYear "2013" @default.
- W4252281617 type Work @default.
- W4252281617 citedByCount "0" @default.
- W4252281617 crossrefType "proceedings-article" @default.
- W4252281617 hasAuthorship W4252281617A5016780429 @default.
- W4252281617 hasAuthorship W4252281617A5044133962 @default.
- W4252281617 hasConcept C1009929 @default.
- W4252281617 hasConcept C124101348 @default.
- W4252281617 hasConcept C127413603 @default.
- W4252281617 hasConcept C130963320 @default.
- W4252281617 hasConcept C150202949 @default.
- W4252281617 hasConcept C158007255 @default.
- W4252281617 hasConcept C169590947 @default.
- W4252281617 hasConcept C199360897 @default.
- W4252281617 hasConcept C199519371 @default.
- W4252281617 hasConcept C200601418 @default.
- W4252281617 hasConcept C200833197 @default.
- W4252281617 hasConcept C2777904410 @default.
- W4252281617 hasConcept C36464697 @default.
- W4252281617 hasConcept C41008148 @default.
- W4252281617 hasConcept C45374587 @default.
- W4252281617 hasConcept C489000 @default.
- W4252281617 hasConcept C76155785 @default.
- W4252281617 hasConcept C77088390 @default.
- W4252281617 hasConcept C84945661 @default.
- W4252281617 hasConcept C88468194 @default.
- W4252281617 hasConcept C9390403 @default.
- W4252281617 hasConcept C96324660 @default.
- W4252281617 hasConcept C97686452 @default.
- W4252281617 hasConceptScore W4252281617C1009929 @default.
- W4252281617 hasConceptScore W4252281617C124101348 @default.
- W4252281617 hasConceptScore W4252281617C127413603 @default.
- W4252281617 hasConceptScore W4252281617C130963320 @default.
- W4252281617 hasConceptScore W4252281617C150202949 @default.
- W4252281617 hasConceptScore W4252281617C158007255 @default.
- W4252281617 hasConceptScore W4252281617C169590947 @default.
- W4252281617 hasConceptScore W4252281617C199360897 @default.
- W4252281617 hasConceptScore W4252281617C199519371 @default.
- W4252281617 hasConceptScore W4252281617C200601418 @default.
- W4252281617 hasConceptScore W4252281617C200833197 @default.
- W4252281617 hasConceptScore W4252281617C2777904410 @default.
- W4252281617 hasConceptScore W4252281617C36464697 @default.
- W4252281617 hasConceptScore W4252281617C41008148 @default.
- W4252281617 hasConceptScore W4252281617C45374587 @default.
- W4252281617 hasConceptScore W4252281617C489000 @default.
- W4252281617 hasConceptScore W4252281617C76155785 @default.
- W4252281617 hasConceptScore W4252281617C77088390 @default.
- W4252281617 hasConceptScore W4252281617C84945661 @default.
- W4252281617 hasConceptScore W4252281617C88468194 @default.
- W4252281617 hasConceptScore W4252281617C9390403 @default.
- W4252281617 hasConceptScore W4252281617C96324660 @default.
- W4252281617 hasConceptScore W4252281617C97686452 @default.
- W4252281617 hasLocation W42522816171 @default.
- W4252281617 hasOpenAccess W4252281617 @default.
- W4252281617 hasPrimaryLocation W42522816171 @default.
- W4252281617 hasRelatedWork W10127936 @default.
- W4252281617 hasRelatedWork W14152056 @default.
- W4252281617 hasRelatedWork W14710392 @default.
- W4252281617 hasRelatedWork W1863899 @default.
- W4252281617 hasRelatedWork W514290 @default.
- W4252281617 hasRelatedWork W5450866 @default.
- W4252281617 hasRelatedWork W5990311 @default.
- W4252281617 hasRelatedWork W69399 @default.
- W4252281617 hasRelatedWork W8442734 @default.
- W4252281617 hasRelatedWork W1821437 @default.
- W4252281617 isParatext "false" @default.
- W4252281617 isRetracted "false" @default.
- W4252281617 workType "article" @default.