RUB-SysSec / JIT-Picker

Apache License 2.0
62 stars 8 forks source link

Will JitPicker be merged into Fuzzilli in the future? #4

Closed chennbnbnb closed 10 months ago

chennbnbnb commented 10 months ago

I notice that: JitPicker is already lagging far behind Fuzzilli, and last merge request have been closed. So I wodner will JitPicker be merged into Fuzzilli in the future?

bernhl commented 10 months ago

I'm not currently working on JIT-Picker, however I plan to come back to the project in May. I intend to rebase it onto the latest Fuzzilli commit and verify that it works on jsc/v8/sm. Whether the JIT-Picker changes will be merged into mainline Fuzzilli is not decided though.

chennbnbnb commented 10 months ago

I have implemted Fuzzilli_hash() in v8, and i am trying to use JitPicker fuzz v8. I find that JitPicker report some non-reproducible differentials, One execHash is the same as the one I executed manually, the other is different Exploration mutaiton has been disbaled and I am sure it's not Fuzzilli_hash()'s problem it seem that: Fuzz_hash() fuzzilli_hash() was passed different values in two identical programs, do you have any idea about this problem?

bernhl commented 10 months ago

I did observe a similar effect in spidermonkey. The root cause of this effect is still unclear to me; I guess I'll rr trace the respective executions to figure out what's going wrong.

chennbnbnb commented 10 months ago

OK, thank you