Comments (2)
StevenArzt
commented on May 27, 2024
Are the identifiers really revelant? If the callgraph edges and points-to-sets are identical, I don't see that we must keep the IDs consistent. They only need to be consistent within a single run imho.
from soot.
AnnabellaM
commented on May 27, 2024
Thank you for your swift response! We are currently conducting an empirical study to detect non-deterministic behaviors within static analyzers. We would greatly appreciate your insights regarding the generation of identifiers, such as at which phase these identifiers are generated? Additionally, we are curious as to why these identifiers occasionally exhibit differences. We observed that in large call graphs, these identifiers consistently vary, while in small results, they remain consistent. Your assistance in shedding light on this matter would be greatly valuable to our study. @StevenArzt
from soot.
Related Issues (20)
- Worker thread execution failed: Failed to apply jb to <com.google.firebase.snippets.FirebaseAuthSnippets: javax.ws.rs.core.Response clearSessionCookieAndRevoke(javax.ws.rs.core.Cookie)> HOT 3
- A question about how to apply context sensitive points-to analysis in Soot HOT 7
- Missing Unit in unit-to-owner Mapping
- Soot generates redundant statements HOT 1
- Non-deterministic results - certain groups of nodes always missing HOT 4
- VisibilityParameterAnnotationTag not picking up Elements correctly
- I want know upgrade release note HOT 2
- Soot reports a false positive edge in call graph
- A self loop edge bug
- Soot call graph did not fully parse the call chain HOT 1
- How to retain "LocalVariableTable" and "MethodParameters" attributes in .class after instrumentation?
- An inconsistent behavior in Soot analysis
- Broken link to SootUp HOT 1
- Outdated snapshot version HOT 1
- Can soot still be used now? Do I need to use sootup? HOT 1
- java.lang.NullPointerException when ... HOT 1
- Incorrect topological sorting leads to incorrect SCC computation in Spark HOT 1
- Redundant cast statement(expression) in generated Jimple codes
- UnitThrowAnalysis StmtSwitch: type of throw argument is not a RefType! occurs when analysing APKs
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 soot.