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

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

waskyo merged 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