Code

Taint for C#1518

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

taint-for-Cdiffblue/cbmc:taint-for-CCopy head branch name to clipboard

Oct 27, 2017

Commits

Commits on Oct 27, 2017

• check taint on sinks _before_ the call

  

  Daniel Kroening

  committed
  ab7270e

  Copy full SHA for ab7270e

• custom_bitvector_domain: allow objects that are members

  

  Daniel Kroening

  committed
  29bc3b8

  Copy full SHA for 29bc3b8

• first regression tests

  

  Daniel Kroening

  committed
  3dd7f6c

  Copy full SHA for 3dd7f6c