Check intermediate analysis to ensure the arguments are a stack address.#276

sipma merged 1 commit into

static-analysis-engineering:masterstatic-analysis-engineering/CodeHawk-Binary:masterfrom

dvorak42:fix_nonstack_intermediatesdvorak42/CodeHawk-Binary:fix_nonstack_intermediatesCopy head branch name to clipboard