Pangolin Incremental Hybrid Fuzzing with Polyhedral Path Abstraction