Commits

Breadcrumbs

History for

ongui2

User selector

All users

All time

Commit History

Commits on May 27, 2014

• Added a test for out-of-bounds character array access.

  simartin

  committed
  966491d

  Copy full SHA for 966491d

Commits on May 24, 2014

• Fixed #5863 (False positive: array index is used before limits check)

  PKEuS

  committed
  effa38c

  Copy full SHA for effa38c

Commits on May 10, 2014

• Refactorized CheckBufferOverrun::arrayIndexThenCheck() and fixed false negative

  PKEuS

  committed
  04fbbdb

  Copy full SHA for 04fbbdb

Commits on May 3, 2014

• Fixed #5636 (FP: matrix out of bounds)

  danmar

  committed
  ed1d63f

  Copy full SHA for ed1d63f

Commits on Apr 8, 2014

• #5631 Typo and misleading error message in negativeMemoryAllocationSize

  amai2012

  committed
  89dc652

  Copy full SHA for 89dc652

Commits on Mar 29, 2014

• ValueFlow: Improved valueflow of for loop 'for (i=a; i<10; i++)' => unknown start value but end value is known

  danmar

  committed
  e5301b2

  Copy full SHA for e5301b2

Commits on Mar 28, 2014

• Handle pointer/reference to array in setVarId (#2645)

  PKEuS

  committed
  1c58628

  Copy full SHA for 1c58628

Commits on Mar 27, 2014

• Fixed uncaught exception in testbufferoverrun.cpp

  PKEuS

  committed
  63254b3

  Copy full SHA for 63254b3

Commits on Mar 25, 2014

• fixed unit test that I broke by mistake

  danmar

  committed
  6da9cca

  Copy full SHA for 6da9cca

• buffer overflow: clean up old checking for negative index

  danmar

  committed
  87daf57

  Copy full SHA for 87daf57

• Buffer overruns: Use ValueFlow to detect negative index

  danmar

  committed
  c8004a8

  Copy full SHA for c8004a8

Commits on Mar 24, 2014

• ValueFlow: Improved abstract interpretation

  danmar

  committed
  aa05bf0

  Copy full SHA for aa05bf0

Commits on Mar 23, 2014

• ValueFlow: improved abstract interpretation of for loops

  danmar

  committed
  dbc8273

  Copy full SHA for dbc8273

Commits on Mar 22, 2014

• Value Flow: Improved abstract interpretation of arithmetical expressions

  danmar

  committed
  b627605

  Copy full SHA for b627605

Commits on Mar 21, 2014

• Fixed crash in CheckBufferOverrun on garbage code (#5595)

  PKEuS

  committed
  49b25b0

  Copy full SHA for 49b25b0

Commits on Mar 17, 2014

• Value Flow: Another try with the abstract interpretation of for loops

  danmar

  committed
  e240282

  Copy full SHA for e240282

Commits on Mar 16, 2014

• Revert 894a65b0. abstract interpretation of for loops. there was some crashes and performance problems. I will fix those problems when I have time and recommit.

  danmar

  committed
  8c3f2c2

  Copy full SHA for 8c3f2c2

Commits on Mar 15, 2014

• ValueFlow: Refactor the for-loop handling. Use abstract interpretation.

  danmar

  committed
  894a65b

  Copy full SHA for 894a65b

Commits on Mar 9, 2014

• Merge pull request #256 from xypron/5505

  Show description for 7fa73c0
  danmar

  committed
  7fa73c0

  Copy full SHA for 7fa73c0

Commits on Mar 7, 2014

• 5505: FP: Array accessed out of bounds

  Show description for bd67db9
  xypron

  committed
  bd67db9

  Copy full SHA for bd67db9

Commits on Feb 15, 2014

• Update copyright

  danmar

  committed
  fd3a8a2

  Copy full SHA for fd3a8a2

Commits on Feb 1, 2014

• Fixed #389: Providing negative value to memory allocation function.

  orbitcowboy

  committed
  6ca7dae

  Copy full SHA for 6ca7dae

Commits on Jan 31, 2014

• Fixed #5426 (crash: btrfs-progs cmds-inspect.c)

  danmar

  committed
  9aa9530

  Copy full SHA for 9aa9530

Commits on Jan 28, 2014

• Fixed #5416 (False positive: Array accessed at index, which is out of bounds.)

  danmar

  committed
  abe8439

  Copy full SHA for abe8439

Commits on Jan 22, 2014

• Cleanup ExecutionPath from CheckBufferOverrun

  danmar

  committed
  0dbb86f

  Copy full SHA for 0dbb86f

Commits on Jan 20, 2014

• value flow: improved handling of cast

  danmar

  committed
  b91f424

  Copy full SHA for b91f424

Commits on Jan 17, 2014

• BufferOverflow: Updated message for out of bounds array index or redundant condition

  danmar

  committed
  3e23e24

  Copy full SHA for 3e23e24

• BufferOverrun: Improved error message when array index is used before checking that its in limits

  danmar

  committed
  18d6285

  Copy full SHA for 18d6285

• Removed the --value-flow flag. ValueFlow analysis will always be enabled from now on.

  danmar

  committed
  30cae35

  Copy full SHA for 30cae35

Commits on Jan 16, 2014

• value flow: Use ValueFlow in CheckBufferOverrun

  danmar

  committed
  0b4de97

  Copy full SHA for 0b4de97

Commits on Jan 2, 2014

• Fixed #3688 (false positive: (inconclusive, posix) (warning) The buffer 'cBuffer' is not zero-terminated after the call to readlink().)

  danmar

  committed
  a1b0d19

  Copy full SHA for a1b0d19

Commits on Dec 31, 2013

• Symbol database: only put variables in variable list

  danmar

  committed
  32be409

  Copy full SHA for 32be409

Commits on Dec 30, 2013

• Splitted simplification out of tokenize()

  PKEuS

  committed
  4f0121e

  Copy full SHA for 4f0121e

Commits on Nov 30, 2013

• Ticket #5203: Don't crash when checking buffer overrun for invalid code.

  simartin

  committed
  fe75686

  Copy full SHA for fe75686

Commits on Oct 5, 2013

• Fixed #4968 (False positive: Structure with 'read' member is confused with read() function.)

  danmar

  committed
  946722f

  Copy full SHA for 946722f

Pagination

Previous

Next