On understanding and forecasting fuzzers performance with static analysis