Shouguo Yang
Shouguo Yang
Thanks for your answer. I have some questions: 1. why the results of forward slicing (e.g., `./llvm-slicer -sc "7#r" -cutoff-diverging=false -entry fact -forward fact.bc` ) seems contain the code generated...
> Let's say we get the code file `fact.c` below: ``` #include #include int arr[10]; long int fact(int s, int e) { int len = 10; if (s-e > len){...