Set buffersize based on first argument if unknown from proof obligation. - #291

Set buffersize based on first argument if unknown from proof obligation.#291

dvorak42 wants to merge 1 commit into

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

dvorak42:dvorak42/cmdinj_buffersize_from_argdvorak42/CodeHawk-Binary:dvorak42/cmdinj_buffersize_from_argCopy head branch name to clipboard