backward-slicing

Here are 2 public repositories matching this topic...

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Tool to identify the presence of cryptographically-processed BLE characteristics in Android APKs.

Add a description, image, and links to the backward-slicing topic page so that developers can more easily learn about it.

To associate your repository with the backward-slicing topic, visit your repo's landing page and select "manage topics."