backward-slicing

There are 0 repository under backward-slicing topic.

mchalupa / dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
llvm-bitcode llvm-slicer dependence-graph static-analysis static-code-analysis reaching-definitions slicing dependency-graph program-analysis slice analysis llvm llvm-ir static-analyzer pointer-analysis points-to-analysis data-dependency control-dependency backward-slicing backward-slice
Language:C++ 471
projectbtle / BLECryptracer
Tool to identify the presence of cryptographically-processed BLE characteristics in Android APKs.
bluetooth-low-energy ble application-layer-security androguard bluetooth-le slicing backward-slicing forward-slicing
Language:Python 5