Code

Security scanner support#845

Code

Merged

peterschrammel merged 5 commits intodiffblue:security-scanner-supportdiffblue/cbmc:security-scanner-supportfrom NathanJPhillips:security-scanner-supportNathanJPhillips/cbmc:security-scanner-supportCopy head branch name to clipboardApr 25, 2017

+2-2

Commits

Commits on Apr 14, 2017

• Fix memory leak in ansi-c frontend

  Show description for 6c8adc3
  reuk

  committed
  6c8adc3

  Copy full SHA for 6c8adc3

Commits on Apr 16, 2017

• Fix pointer-invalidation bug in ansi-c/padding.cpp

  Show description for feb1108
  reuk

  committed
  feb1108

  Copy full SHA for feb1108

Commits on Apr 17, 2017

• Merge pull request diffblue#836 from reuk/padding-fix

  Show description for f79100f
  

  Daniel Kroening

  authored
  f79100f

  Copy full SHA for f79100f

• Merge pull request diffblue#831 from reuk/leak-fix

  Show description for 4cfcb87
  

  Daniel Kroening

  authored
  4cfcb87

  Copy full SHA for 4cfcb87

Commits on Apr 19, 2017

• Merge branch 'master' into security-scanner-support

  NathanJPhillips

  committed
  1e919d1

  Copy full SHA for 1e919d1