Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1676373,
author = {Chalupa, Marek},
address = {Hanoi, Vietnam},
booktitle = {The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis},
doi = {http://dx.doi.org/10.1007/978-3-030-59152-6_33},
editor = {Dang Van Hung and Oleg Sokolsky},
keywords = {call graph construction; data dependence analysis; program slicing},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Hanoi, Vietnam},
isbn = {978-3-030-59151-9},
pages = {557-563},
publisher = {Springer},
title = {DG: Analysis and Slicing of LLVM Bitcode},
year = {2020}
}
TY - JOUR
ID - 1676373
AU - Chalupa, Marek
PY - 2020
TI - DG: Analysis and Slicing of LLVM Bitcode
PB - Springer
CY - Hanoi, Vietnam
SN - 9783030591519
KW - call graph construction
KW - data dependence analysis
KW - program slicing
N2 - DG is a library written in C++ that provides several types of program analysis for LLVM bitcode. The main parts of DG are a parametric points-to analysis, a call graph construction, a data dependence analysis, and a control dependence analysis. The project includes several tools built around the analyses, the main one being a static slicer for LLVM bitcode. This paper describes what analyses are implemented in DG and its use cases with the focus on program slicing.
ER -
CHALUPA, Marek. DG: Analysis and Slicing of LLVM Bitcode. In Dang Van Hung and Oleg Sokolsky. \textit{The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis}. Hanoi, Vietnam: Springer, 2020, s.~557-563. ISBN~978-3-030-59151-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-59152-6\_{}33.
|
