Comments (11)
mbarbar
commented on June 5, 2024
2
Do either of you use getCopyOutEdges or getCopyInEdges in your Andersen's solution? If so, I suggest replacing this with one of the APIs in the wiki. :)
from teaching-software-analysis.
ApsarasX
commented on June 5, 2024
I also encountered this problem!
from teaching-software-analysis.
ApsarasX
commented on June 5, 2024
Hey, bro. May I refer to the Assignment-4 you completed?
from teaching-software-analysis.
yuleisui
commented on June 5, 2024
ander->analyze is calling into your Andersen's implementation (Assign-3). For testing purposes, you do need working Assignments 2 and 3 as aliasCheck will rely on the Andersen's results.
If there is still an error in aliasCheck, it means that your Andersen's implementation is wrong.
from teaching-software-analysis.
mobsceneZ
commented on June 5, 2024
Hey, bro. May I refer to the Assignment-4 you completed?
I released my own solutions on my own repository, you can check it out :)
from teaching-software-analysis.
yuleisui
commented on June 5, 2024
Please do not make it public since this will be used for other students. You two can talk offline for your solutions. Thanks.
from teaching-software-analysis.
mobsceneZ
commented on June 5, 2024
ander->analyzeis calling into your Andersen's implementation (Assign-3). For testing purposes, you do need working Assignments 2 and 3 asaliasCheckwill rely on the Andersen's results.If there is still an error in
aliasCheck, it means that your Andersen's implementation is wrong.
Dear Sir, I guess the problem is not on aliasCheck(), since the stack trace stuckes on ander->analyze() in taintChecking() actually, which has not yet reached aliasCheck() function. :(
Instead, the problem seems to occur on function validateSuccessTests() in /home/SVF-tools/SVF/lib/MemoryModel/PointerAnalysis.cpp:629, here is a snapshot:
from teaching-software-analysis.
mobsceneZ
commented on June 5, 2024
Please do not make it public since this will be used for other students. You two can talk offline for your solutions. Thanks.
got it, I will make it private, sorry T T
from teaching-software-analysis.
jmp0x7c00
commented on June 5, 2024
yeah,I met the same problem ,and I use getDirectOutEdge() to replace getCopyOutEdges(),everything is OK,Thanks!! : )
from teaching-software-analysis.
mobsceneZ
commented on June 5, 2024
Do either of you use
getCopyOutEdgesorgetCopyInEdgesin your Andersen's solution? If so, I suggest replacing this with one of the APIs in the wiki. :)
Great! Now that all test cases passed, thanks for ur suggestion!
from teaching-software-analysis.
Related Issues (5)
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 teaching-software-analysis.