panoob

fix wrong arrayLocal in extractSootArray for HardcodedError

3

Fix extractSootArray for HardCodedError 1. Bug description: There is a explicit bug in the implementation of `crypto.constraints.ConstraintSolver.EvaluableConstraint#extractSootArray`, which causes plentiful false positives of HardCodedError ``` protected Map extractSootArray(CallSiteWithParamIndex callSite, ExtractedValue...