You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
${LLVM_DIR}/opt -S -passes="print-dpp-global" --dpp-rule="all" -disable-output < ${PWD}/dpp-data/example/example.opt
Data Pointer Prioritization Analysis
SVF Initialization Done, time taken = 0.01
Rule1 done...time taken = 0.00
Rule2 done...time taken = 0.00
Rule3 done...time taken = 0.00
Rule5 done...time taken = 0.00
Rule6 done...time taken = 0.00
Rule7 done...time taken = 0.00
Rule8 done...time taken = 0.00
Rule9 done...time taken = 0.00
Top k = 1
#################### SUMMARY: 1 data objects #########################
${LLVM_DIR}/opt -S -passes="print-dpp-global" --dpp-rule="all" -disable-output < ${PWD}/dpp-data/example/example.opt
Data Pointer Prioritization Analysis
SVF Initialization Done, time taken = 0.01
Rule1 done...time taken = 0.00
Rule2 done...time taken = 0.00
Rule3 done...time taken = 0.00
Rule5 done...time taken = 0.00
Rule6 done...time taken = 0.00
Rule7 done...time taken = 0.00
Rule8 done...time taken = 0.00
Rule9 done...time taken = 0.00
Top k = 1
#################### SUMMARY: 1 data objects #########################
TOP-K = 1, Actual = 0
12(5) 0(0) 0(0) 0(0) - 0(0) 0(0) 0(0) 0(0) 0(0) 0(0)
where is wrong?
The text was updated successfully, but these errors were encountered: