run all commands in init.sh before starting an analysis. first convert your .c file to bitcode .bc file. now u can run all the analysis provided by SVF