• Login
    View Item 
    •   Eurographics DL Home
    • Computer Graphics Forum
    • Volume 37 (2018)
    • 37-Issue 3
    • View Item
    •   Eurographics DL Home
    • Computer Graphics Forum
    • Volume 37 (2018)
    • 37-Issue 3
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    CFGExplorer: Designing a Visual Control Flow Analytics System around Basic Program Analysis Operations

    Thumbnail
    View/Open
    v37i3pp453-464.pdf (2.452Mb)
    1186-file1.mp4 (107.0Mb)
    Date
    2018
    Author
    Devkota, Sabin
    Isaacs, Katherine E.
    Pay-Per-View via TIB Hannover:

    Try if this item/paper is available.

    Metadata
    Show full item record
    Abstract
    To develop new compilation and optimization techniques, computer scientists frequently consult program analysis artifacts such as control flow graphs (CFGs) and traces of executed instructions. A CFG is a directed graph representing possible execution paths in a program. CFGs are commonly visualized as node-link diagrams while traces are commonly viewed in raw text format. Visualizing and exploring CFGs and traces is challenging because of the complexity and specificity of the operations researchers perform. We present a design study where we collaborate with computer scientists researching dynamic binary analysis and compilation techniques. The research group primarily employs CFGs and traces to reason about and develop new algorithms for program optimization and parallelization. Through questionnaires, interviews, and a year-long observation, we analyzed their use of visualization, noting that the tasks they perform match common subroutines they employ in their techniques. Based on this task analysis, we designed CFGExplorer, a visual analytics system that supports computer scientists with interactions that are integrated with the program structure. We developed a domain-specific graph modification to generate graph layouts that reflect program structure. CFGExplorer incorporates structures such as functions and loops, and uses the correspondence between CFGs and traces to support navigation. We further augment the system to highlight the output of program analysis techniques, facilitating exploration at a higher level. We evaluate the tool through guided sessions and semi-structured interviews as well as deployment. Our collaborators have integrated CFGExplorer into their workflow and use it to reason about programs, develop and debug new algorithms, and share their findings.
    BibTeX
    @article {10.1111:cgf.13433,
    journal = {Computer Graphics Forum},
    title = {{CFGExplorer: Designing a Visual Control Flow Analytics System around Basic Program Analysis Operations}},
    author = {Devkota, Sabin and Isaacs, Katherine E.},
    year = {2018},
    publisher = {The Eurographics Association and John Wiley & Sons Ltd.},
    ISSN = {1467-8659},
    DOI = {10.1111/cgf.13433}
    }
    URI
    http://dx.doi.org/10.1111/cgf.13433
    https://diglib.eg.org:443/handle/10.1111/cgf13433
    Collections
    • 37-Issue 3

    Eurographics Association copyright © 2013 - 2022 
    Send Feedback | Contact - Imprint | Data Privacy Policy | Disable Google Analytics
    Theme by @mire NV
    System hosted at  Graz University of Technology.
    TUGFhA
     

     

    Browse

    All of Eurographics DLCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    BibTeX | TOC

    Create BibTeX Create Table of Contents

    Eurographics Association copyright © 2013 - 2022 
    Send Feedback | Contact - Imprint | Data Privacy Policy | Disable Google Analytics
    Theme by @mire NV
    System hosted at  Graz University of Technology.
    TUGFhA