Code

Taint analysis framework for Symex#246

Code

Closed

DanielNeville wants to merge 12 commits intodiffblue:masterdiffblue/cbmc:masterfrom

DanielNeville:symex-taint-analysis-ternaryDanielNeville/cbmc:symex-taint-analysis-ternaryCopy 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

• 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

• Comment Refactor

  

  John Galea

  committed
  063d2ef

  Copy full SHA for 063d2ef

Commits on Oct 4, 2016

• Comments.

  

  Daniel Neville

  committed
  fc743bb

  Copy full SHA for fc743bb