search

AngoraFuzzer / Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Apache License 2.0
918 stars 168 forks source link

Minor inconsistency in gradient descent #97

Closed Luc-Veldhuis closed 4 years ago

Luc-Veldhuis commented 4 years ago

At line https://github.com/AngoraFuzzer/Angora/blob/master/fuzzer/src/search/gd.rs#L219 there is a check for linearity if f_minus != f0 however, when f_minus < f0 is true, this check is still there: https://github.com/AngoraFuzzer/Angora/blob/master/fuzzer/src/search/gd.rs#L224

I opened a PR here: https://github.com/AngoraFuzzer/Angora/pull/96

spinpx commented 4 years ago

Thanks , I have merged the PR.