Code

transfer taint with memcpy#1574

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

taint-memcpy-developdiffblue/cbmc:taint-memcpy-developCopy head branch name to clipboard

Nov 10, 2017

Commits

Commits on Nov 10, 2017

• transfer taint on memcpy and memmove

  

  Daniel Kroening

  committed
  758ebb3

  Copy full SHA for 758ebb3

• Makefile for goto-analyzer-taint-ansi-c

  

  Daniel Kroening

  committed
  fa7d62a

  Copy full SHA for fa7d62a