Commits

Breadcrumbs

History for

onfixTestForRawPointer

User selector

All users

All time

Commit History

Commits on Oct 14, 2019

• ExprEngine: Improved handling of struct member assignments in loop

  danmar

  committed
  8c5c070

  Copy full SHA for 8c5c070

Commits on Oct 9, 2019

• ExprEngine: Adapt to z3 handling of bool/int expressions

  danmar

  committed
  63bd182

  Copy full SHA for 63bd182

• ExprEngine: Fix FP for 'int' overflows

  danmar

  committed
  273a1a7

  Copy full SHA for 273a1a7

Commits on Oct 7, 2019

• ExprEngine: Handle while/for loops

  danmar

  committed
  21774cb

  Copy full SHA for 21774cb

Commits on Oct 6, 2019

• ExprEngine: Initial handling of switch

  danmar

  committed
  d82b1b2

  Copy full SHA for d82b1b2

Commits on Oct 5, 2019

• ExprEngine: Fix ExprEngin::IntRange::isIntValueInRange

  danmar

  committed
  e686699

  Copy full SHA for e686699

Commits on Oct 3, 2019

• ExprEngine: test pointer

  danmar

  committed
  7e850e3

  Copy full SHA for 7e850e3

• ExprEngine: Arrays if-then-else

  danmar

  committed
  f80d387

  Copy full SHA for f80d387

Commits on Oct 2, 2019

• ExprEngine: Better handling of if/else

  danmar

  committed
  d916379

  Copy full SHA for d916379

• ExprEngine: Use smt solver Z3

  danmar

  committed
  7ab22c7

  Copy full SHA for 7ab22c7

Commits on Sep 29, 2019

• ExprEngine: Simplify array value if possible, ensure each array data has a unique name

  danmar

  committed
  1ccc303

  Copy full SHA for 1ccc303

• ExprEngine: Add --debug-verify, fixed handling of global arrays

  danmar

  committed
  40c3e68

  Copy full SHA for 40c3e68

• ExprEngine: Fix NULL pointer dereference tests

  danmar

  committed
  60e1cf8

  Copy full SHA for 60e1cf8

Commits on Sep 28, 2019

• ExprEngine: Clarify when analysis is aborted

  danmar

  committed
  0de3e76

  Copy full SHA for 0de3e76

Commits on Sep 26, 2019

• ExprEngine: Fix output for StructValue

  danmar

  committed
  2e1cbbe

  Copy full SHA for 2e1cbbe

• ExprEngine: ConditionalValues, output symbolic expressions

  danmar

  committed
  c5302d2

  Copy full SHA for c5302d2

Commits on Sep 25, 2019

• ExprEngine: Restructure handling of arrays to handle dynamic buffers better

  danmar

  committed
  9e76630

  Copy full SHA for 9e76630

Commits on Sep 24, 2019

• ExprEngine: Temporary hardcoding for calloc

  danmar

  committed
  0011fb5

  Copy full SHA for 0011fb5

• ExprEngine: Handle char literals

  danmar

  committed
  0471e74

  Copy full SHA for 0471e74

• ExprEngine: Passing variable address to function

  danmar

  committed
  1769af4

  Copy full SHA for 1769af4

Commits on Sep 23, 2019

• ExprEngine: Value truncation

  danmar

  committed
  c1ff341

  Copy full SHA for c1ff341

• ExprEngine: some handling of NULL pointer

  danmar

  committed
  9025b47

  Copy full SHA for 9025b47

Commits on Sep 22, 2019

• ExprEngine: Implement basic float handling

  danmar

  committed
  28d13e7

  Copy full SHA for 28d13e7

• ExprEngine: Guess function call return value

  danmar

  committed
  6e17853

  Copy full SHA for 6e17853

• ExprEngine: Better handling of pointer aliasing

  danmar

  committed
  5c07cfd

  Copy full SHA for 5c07cfd

• ExprEngine: Better handling of pointers

  danmar

  committed
  ec4b7c1

  Copy full SHA for ec4b7c1

Commits on Sep 21, 2019

• ExprEngine: Better handling of compound assignments

  danmar

  committed
  7d6fd91

  Copy full SHA for 7d6fd91

• ExprEngine: Passing array to function, array data might be overwritten

  danmar

  committed
  da91c13

  Copy full SHA for da91c13

• ExprEngine: Fix output for arrays

  danmar

  committed
  b2cab00

  Copy full SHA for b2cab00

• ExprEngine: handling array initialization with string literal

  danmar

  committed
  3d0d3ec

  Copy full SHA for 3d0d3ec

Commits on Sep 20, 2019

• ExprEngine: Better handling of conditions

  danmar

  committed
  6c59957

  Copy full SHA for 6c59957

Commits on Sep 17, 2019

• ExprEngine: Add new experimental path-sensitive data flow analysis. Initially used for 'verification' but could possibly later be used as a complement in the normal analysis. The code is work-in-pr…

  Show description for 2d651b0
  danmar

  committed
  2d651b0

  Copy full SHA for 2d651b0

Loading