search

RUB-SysSec / JIT-Picker

Apache License 2.0
62 stars 8 forks source link

Fix assertion failure while selecting variable #1

Closed nonetype closed 7 months ago

nonetype commented 1 year ago 
swift run FuzzilliCli --overwrite --storagePath=fuzzout --exportStatistics --logLevel=verbose --diagnostics --differentialWeaveRate=0.5 --profile=spidermonkey ./Cloud/Docker/SpidermonkeyBuilder/out/js

# ...
[Fuzzer] Initialized
[Assert] Debug Assertion failed at /home/user/JIT-Picker/Sources/Fuzzilli/Core/ProgramBuilder.swift:328
[Fuzzer] Shutting down due to fatal error

++++++++++ Fuzzer Finished ++++++++++
# ...
    /// Returns a random variable.
    public func randVar(excludeInnermostScope: Bool = false) -> Variable {
        Assert(hasVisibleVariables) // <-- assertion failure here
        return randVarInternal(excludeInnermostScope: excludeInnermostScope)!
    }