add SVFBasicBlock. BasicBlockEdge, Graph#1639

Merged

yuleisui merged 12 commits intoSVF-tools:masterfrom bjjwwang:0123-2

Jan 27, 2025

+388-225

Commits on Jan 24, 2025

first commit of SVFBasicBlock
bjjwwang
committed
add getName() and toString()
bjjwwang
committed
Merge remote-tracking branch 'origin/master' into 0123-2
bjjwwang
committed
rename api
bjjwwang
committed
rename api
bjjwwang
committed

Commits on Jan 26, 2025

refactor, move the ownership to SVFFunction
bjjwwang
committed
fix asan bug
bjjwwang
committed
remove SVFFunction::getBasicBlockList(), move addBasicBlock to BasicBlockGraph. And some related chages
bjjwwang
committed

Commits on Jan 27, 2025

fix SVFBasicBlock
bjjwwang
committed
refactor some api
bjjwwang
committed
remove unnecessary map retreival
bjjwwang
committed
change hasBasicBlock(), use iterator to check.
bjjwwang
committed