Constraint solving

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Hybrid fuzzing, which combines the merits of both fuzzing and concolic execution, has become one of the most important trends in …
PDF 引用 DOI Paper Link