Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/LFYSec/MScan
/ isAllowPhantom
Method
isAllowPhantom
src/main/java/pascal/taie/config/Options.java:181–183 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
179
private
boolean allowPhantom;
180
181
public
boolean isAllowPhantom() {
182
return
allowPhantom;
183
}
184
185
// ---------- general analysis options ----------
186
@JsonProperty
Callers
5
testAllowPhantom
Method · 0.95
getWorldCacheHash
Method · 0.80
initSoot
Method · 0.80
build
Method · 0.80
build
Method · 0.80
Calls
no outgoing calls
Tested by
1
testAllowPhantom
Method · 0.76