Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

copy all fields of SVFFunction into CallGraphNode #1606

Closed
wants to merge 51 commits into from

Conversation

Geoffrey1014
Copy link
Contributor

copy all fields of SVFFunction into CallGraphNode

Copy link

codecov bot commented Dec 10, 2024

Codecov Report

Attention: Patch coverage is 71.60883% with 270 lines in your changes missing coverage. Please review.

Project coverage is 63.73%. Comparing base (91b0eeb) to head (9009cee).
Report is 40 commits behind head on master.

Files with missing lines Patch % Lines
svf/lib/SVFIR/SVFVariables.cpp 54.48% 71 Missing ⚠️
svf/include/SVFIR/SVFVariables.h 60.99% 55 Missing ⚠️
svf/lib/CFL/CFLGraphBuilder.cpp 8.00% 23 Missing ⚠️
svf/include/SVFIR/SVFIR.h 83.96% 17 Missing ⚠️
svf-llvm/lib/SVFIRBuilder.cpp 84.44% 14 Missing ⚠️
svf-llvm/lib/LLVMUtil.cpp 60.71% 11 Missing ⚠️
svf/lib/MemoryModel/PointerAnalysis.cpp 66.66% 7 Missing ⚠️
svf/lib/DDA/ContextDDA.cpp 45.45% 6 Missing ⚠️
svf/lib/DDA/DDAClient.cpp 0.00% 6 Missing ⚠️
svf/lib/Graphs/VFG.cpp 62.50% 6 Missing ⚠️
... and 27 more
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1606      +/-   ##
==========================================
+ Coverage   63.01%   63.73%   +0.72%     
==========================================
  Files         246      245       -1     
  Lines       27422    26016    -1406     
  Branches     4531     4510      -21     
==========================================
- Hits        17279    16581     -698     
+ Misses      10143     9435     -708     
Files with missing lines Coverage Δ
svf-llvm/include/SVF-LLVM/ICFGBuilder.h 100.00% <ø> (ø)
svf-llvm/include/SVF-LLVM/LLVMModule.h 98.47% <100.00%> (+3.73%) ⬆️
svf-llvm/include/SVF-LLVM/SVFIRBuilder.h 90.62% <100.00%> (+0.07%) ⬆️
svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h 100.00% <ø> (ø)
svf-llvm/lib/CHGBuilder.cpp 84.17% <100.00%> (+0.33%) ⬆️
svf-llvm/lib/CppUtil.cpp 87.02% <100.00%> (-0.06%) ⬇️
svf-llvm/lib/ICFGBuilder.cpp 100.00% <100.00%> (+0.72%) ⬆️
svf-llvm/lib/LLVMLoopAnalysis.cpp 100.00% <100.00%> (ø)
svf-llvm/lib/ObjTypeInference.cpp 95.19% <100.00%> (-0.08%) ⬇️
svf-llvm/lib/SVFIRExtAPI.cpp 85.71% <100.00%> (+0.46%) ⬆️
... and 65 more

... and 51 files with indirect coverage changes

jumormt and others added 12 commits January 27, 2025 14:05
* merge

* fix

* remove unused func
* add heap and stack obj var

* update comments

* use base object var to distinguish heap object

* use base object var to distinguish stack object

* beautify class hierarchy

* beautify class hierarchy

* beautify class hierarchy

* beautify class hierarchy
* use ubuntu latest

* Remove regex in CFGNormalizer

* Remove regex header

* use gcc build

* merge reg change

* correct wrong space

---------

Co-authored-by: TalbenXu <[email protected]>
jumormt and others added 22 commits January 27, 2025 14:05
…ls#1618

* add process unreachable bbs

* add process unreachable bbs

* add process unreachable bbs

* cache fun2domtree
1) remove unused format
2) remove confusing function like varHasGlobalVar
3) align the comment
* fix a bug of int128

* wrap integer value function

* revise the std::make_pair

* Revert "revise the std::make_pair"

This reverts commit 75be147.

* fix addConstantIntObjNode and addConstantIntValNode

* remove getSExt ZExt in SVF-LLVM

---------

Co-authored-by: bjjwwang <[email protected]>
* remove svfvalue in svfg and pagedge

* remove svfvalue in svfg and pagedge

* remove redundant variable
* add argvalvar

* change position of param to make it more logical

* change position of param to make it more logical
* AB Test, pass all ci

* AB Test removed, pass all ci

* remove MemObj

* fix asan err

* remove useless NodeID

---------

Co-authored-by: bjjwwang <[email protected]>
* remove some hasValue/getvalue

* add assertion

* fix valueonlystring

* refactor

* remove redundant std move

* don't set ptr and cons in gep var

* remove inuncall and constaggdata

* remove setsvfvarattr
* remove SVFFileSystem

* Revert "remove SVFFileSystem"

This reverts commit f7d9f91.

* refactor "remove SVFFileSystem"

---------

Co-authored-by: bjjwwang <[email protected]>
* add svftype for some var and override getfunction

* remove fun in SVFVar

* fix icfgnode not initialized

* add svftype

* remove isPtr

* remove svfvalue

* rename

* reformat

* change name

* add comments

* don't use default nullptr icfgnode

* fix comments

* increase target coverage
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants