Comments (11)
Any idea to fix this?
from svf.
I don't have a global view of svf project right now, if it's feasible to update the replacement value or other similar solutions while adding per element to LLVMConst2SVFConst?
from svf.
What is the replacement value? Shall we use this value for global or use the previous one. We will need to map multiple global values to the one actually used?
from svf.
Sorry I mean global replacement usually used in optimization for global value.
https://chatgpt.com/share/2d4cc8ce-9ce4-4b87-afd6-7fcffb4347ad
I'm not sure how to fix it
from svf.
Any idea about this statement const Value* llvmVal = LLVMUtil::getGlobalRep(val);
from svf.
This is used to get the representation global if we have multiple global symbols referring to the same global variable, so that we could use a unique global to represent all.
looks like we didn’t set the rep global first.
from svf.
Ok I got it, let me test if updating LLVMConst2SVFConst
using the representation global works
from svf.
Thanks
from svf.
I've added a patch to fix the issue I was having, but I don't think this fix the root cause, i.e. it does not fully examine the use of global representation in the whole project.
The reason why I add V = LLVMUtil::getGlobalRep(V);
is that val
is converted to global representation in collectObj
to perform insert
on symInfo->objSymMap
SVF/svf-llvm/lib/SymbolTableBuilder.cpp
Lines 318 to 330 in 0eae653
from svf.
Could you make a pull request?
from svf.
PR #1484
Ok, but I'm not sure that it fixes all of these problems
from svf.
Related Issues (20)
- Successor of BranchStmt can be confused HOT 10
- Question about branchID? HOT 9
- What are the meaning of the colored edges in a svfg? HOT 2
- Any path-sensitive pointer analysis? HOT 1
- -opt-svfg have no effect HOT 1
- The shortcomings of memcpy HOT 5
- Unable to output full function name in callgrah HOT 2
- some question about MTA HOT 1
- Filed sensitivity on nested struct HOT 10
- SVF gives wrong result when encountering different namespaces HOT 15
- What is varKills in MemSSA used for? HOT 1
- Question about applying SVF to real world large programs HOT 4
- Does svf implement type matching? HOT 3
- Is it possible to use parsed CLI args with `Options` in Util headers? HOT 3
- Assertion failed if `-cluster-fs` is enabled
- saber -dfree double free path and free() lines not showing
- Problematic Path-condition Solving.
- When analyzing the class inheritance relationship, treat the members of the class as the parent class HOT 8
- memory leak report format HOT 2
- Modular Pointer Analysis
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from svf.