Skip to content

Latest commit

 

History

History
27 lines (16 loc) · 1.53 KB

README.md

File metadata and controls

27 lines (16 loc) · 1.53 KB

Giri: Dynamic Program Slicing in LLVM

Dynamic program slicing is a technique that can precisely determine which instructions affected a particular value in a single execution of a program.

This project was firstly developed by Swarup Kumar Sahoo and John Criswell under Vikram S. Adve from UIUC. It was selected by the Google Summer of Code (GSoC) 2013, under its umbrella project LLVM. Mingliang Liu from Tsinghua University joined at June directed by Swarup.

Usage

  1. How To Compile Giri
  2. Hello World!
  3. Example Usage

Please see our wiki page for more information.

Development

It's an ongoing project and pull requests are heavily appreciated.

Research

If you use Giri in your research project, please cite our work.

[1] Swarup Kumar Sahoo, John Criswell, Chase Geigle, and Vikram Adve. Using Likely Invariants for Automated Software Fault Localization. In Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS'13, New York, USA, 2013. ACM.