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.
|