Code

Symex taint analysis#247

Code

Closed

DanielNeville wants to merge 25 commits intodiffblue:developdiffblue/cbmc:developfrom

DanielNeville:symex-taint-analysis-deliveryDanielNeville/cbmc:symex-taint-analysis-deliveryCopy head branch name to clipboard

Commits

Commits on Sep 21, 2016

• Errors

  

  Daniel Neville

  committed
  1309671

  Copy full SHA for 1309671

• Merge remote-tracking branch 'upstream/master'

  

  Daniel Neville

  committed
  de36ac0

  Copy full SHA for de36ac0

Commits on Sep 29, 2016

• Line endings issue CRLF to LF

  

  Daniel Neville

  committed
  fe82a6e

  Copy full SHA for fe82a6e

• Merge branch 'master' of https://github.com/DanielNeville/cbmc

  

  Daniel Neville

  committed
  40633f8

  Copy full SHA for 40633f8

• Merge remote-tracking branch 'upstream/master'

  

  Daniel Neville

  committed
  0739242

  Copy full SHA for 0739242

• Taint analysis for Symex.

  

  Daniel Neville

  committed
  c87c768

  Copy full SHA for c87c768

Commits on Sep 30, 2016

• Formating

  

  John Galea

  committed
  173b0a6

  Copy full SHA for 173b0a6

• Did some formatting

  

  John Galea

  committed
  a7c143d

  Copy full SHA for a7c143d

• Initial commit. Largely working.

  

  Daniel Neville

  committed
  da0fb42

  Copy full SHA for da0fb42

• Re-ordered recursion.

  

  Daniel Neville

  committed
  18e91d5

  Copy full SHA for 18e91d5

• Add hook into symex.

  

  Daniel Neville

  committed
  1058503

  Copy full SHA for 1058503

• Supports LHS ternary.

  

  Daniel Neville

  committed
  c263910

  Copy full SHA for c263910

Commits on Oct 3, 2016

• Fixed Use-after-return bug

  

  John Galea

  committed
  688e639

  Copy full SHA for 688e639

• Added tenrary tests

  

  John Galea

  committed
  68a3192

  Copy full SHA for 68a3192

• Comment Refactor

  

  John Galea

  committed
  063d2ef

  Copy full SHA for 063d2ef

• Fixed ternary tests

  

  John Galea

  committed
  ecf2b4b

  Copy full SHA for ecf2b4b

• Fixed Bug + Added further tests

  

  John Galea

  committed
  c65e247

  Copy full SHA for c65e247

Commits on Oct 4, 2016

• Comments.

  

  Daniel Neville

  committed
  fc743bb

  Copy full SHA for fc743bb

• Merge branch 'symex-taint-analysis-ternary' into symex-taint-analysis-delivery

  

  Daniel Neville

  committed
  b379f77

  Copy full SHA for b379f77

• Remove some blank lines.

  

  Daniel Neville

  committed
  9e637e8

  Copy full SHA for 9e637e8

• Minor formatting.

  

  Daniel Neville

  committed
  7bd7c6a

  Copy full SHA for 7bd7c6a

• Remove old (typo) tests.

  

  Daniel Neville

  committed
  6f2b9a7

  Copy full SHA for 6f2b9a7

• Partial modifications necessary.

  

  Daniel Neville

  committed
  3e4fc86

  Copy full SHA for 3e4fc86

• Move ternary class definition for consistency. Still need null ptr checks on taint_engine dereference.

  

  Daniel Neville

  committed
  ff52a58

  Copy full SHA for ff52a58

• Assert the pointer.

  

  Daniel Neville

  committed
  592b6e4

  Copy full SHA for 592b6e4