Chickaree Chickaree is library providing a search strategy for a feasible path in control flow graph reaching a given target basic block. Dependencies libsala libutility
