Static Code Slicer for C Code

Intra-function slicer for C code. This repository a lightweight implementation of extracting forward and backward slices from a given source code.

This slicer is based on Joern Fuzzy Code parser.

Depndencies

1. Gradle (sudo apt-get install gradle)
2. Graphviz (sudo apt install graphviz-dev)
3. Python >= 3.5

Installation

1. Enter into the source code

   cd C-Code-Slicer
   

2. Build Joern

   cd joern
   ./build.sh
   cd ..
   

Usage

To extract slice use

   ./slicer.sh <Dir> <FileName> <LineNo> <OutDir> <DataFlowOnly(Optional)>

For Example

   ./slicer.sh test test1.c 7 test-output

Arguments

1. Dir: The directory path of the .C file.
2. FileName: Name of the C file (*.c format)
3. LineNo: Line Number where the slice will begin.
4. OutDir: The Directory path for the output.
5. DataFlowOnly: This is optional, if this is mentioned, slicer will produce slices only on dataflow graph.

Output

This slicer will produce 4 outputs in the OutDir.

• <OutDir>/<FileName>.forward will contain the lines in the forward slice.
• <OutDir>/<FileName>.backward will contain the lines in the backward slice.
• <OutDir>/<FileName>pdf will contain the visual representation of the graph.
• <OutDir>/<FileName> will contain the dot representation of the graph.

Limitations

• As of now, we assume only one function per c file.