Code

SSS: value-set-analysis adaptation#612

Code

Merged

peterschrammel merged 6 commits intodiffblue:security-scanner-supportdiffblue/cbmc:security-scanner-supportfrom

smowton:sss_templatize_vsasmowton/cbmc:sss_templatize_vsaCopy head branch name to clipboard

Mar 10, 2017

Commits

Commits on Mar 8, 2017

• Value set: avoid potential infinite expression

  Show description for c308d18
  smowton

  committed
  c308d18

  Copy full SHA for c308d18

• Add function id to value-set.

  Show description for 83fd948
  smowton

  committed
  83fd948

  Copy full SHA for 83fd948

• Value set: add declared-on-type entry member

  Show description for 1a314e3
  smowton

  committed
  1a314e3

  Copy full SHA for 1a314e3

• Templatize and virtualize value-set analysis

  Show description for 913fbd9
  smowton

  committed
  913fbd9

  Copy full SHA for 913fbd9

Commits on Mar 9, 2017

• Lint value-sets

  smowton

  committed
  ff34029

  Copy full SHA for ff34029

Commits on Mar 10, 2017

• Comment and slightly reformat strip_casts

  Show description for 87f1bce
  smowton

  committed
  87f1bce

  Copy full SHA for 87f1bce