Commits

Breadcrumbs

History for

onAchtung

User selector

All users

All time

Commit History

Commits on Oct 21, 2014

• Ticket #6232 (cppOut of bounds array access)

  Show description for 71c5d4b
  zingsheim

  committed
  71c5d4b

  Copy full SHA for 71c5d4b

Commits on Oct 16, 2014

• Collected garbage code tests and moved them to testgarbage.cpp

  PKEuS

  committed
  6955e71

  Copy full SHA for 6955e71

Commits on Sep 29, 2014

• Fixed subsequent false negatives in CheckBufferOverrun::checkInsecureCmdLineArgs() (#5835)

  PKEuS

  committed
  68b26f8

  Copy full SHA for 68b26f8

Commits on Sep 27, 2014

• #6141 FP: Unknown type is assumed to have size 0.

  amai2012

  committed
  ccd80e3

  Copy full SHA for ccd80e3

Commits on Sep 13, 2014

• Refactoring tests. Use utility function to warn about unsimplified code in tests.

  

  Dmitry-Me

  authored and

  danmar

  committed
  1e298a3

  Copy full SHA for 1e298a3

Commits on Aug 31, 2014

• Added unit test for #5849

  PKEuS

  committed
  4c18967

  Copy full SHA for 4c18967

Commits on Aug 19, 2014

• Fixed #6070 (false positive: Array 'array[8192]' accessed at index 8192, which is out of bounds)

  danmar

  committed
  b6355b9

  Copy full SHA for b6355b9

Commits on Aug 4, 2014

• BufferOverrun: Use ValueFlow string values more

  danmar

  committed
  47a2b35

  Copy full SHA for 47a2b35

Commits on Jul 30, 2014

• CheckBufferOverrun: Fixed minsize checking of string literals. Check sizeof string instead of strlen.

  danmar

  committed
  5de1e35

  Copy full SHA for 5de1e35

Commits on Jul 8, 2014

• CheckBufferOverrun::checkStringArgument: sizeof string is strlen+1

  danmar

  committed
  254b643

  Copy full SHA for 254b643

• Fixed unit test

  danmar

  committed
  9a4bd73

  Copy full SHA for 9a4bd73

Commits on Jul 6, 2014

• Fixed #5257 (Check memcpy size for string literals)

  danmar

  committed
  0fd3349

  Copy full SHA for 0fd3349

• astyle formatting

  Show description for 53aa2f5
  danmar

  committed
  53aa2f5

  Copy full SHA for 53aa2f5

Commits on Jul 5, 2014

• Add some more functions to posix.cfg which allow to enable TestBufferOverrun::buffer_overrun_1_posix_functions

  Show description for 77095e2
  amai2012

  committed
  77095e2

  Copy full SHA for 77095e2

• Library: Added <minsize> element used for buffer overrun checking

  danmar

  committed
  a3acc32

  Copy full SHA for a3acc32

Commits on Jun 27, 2014

• CheckBufferOverrun: Removed old for-loop handling. This is handled through ValueFlow from now on.

  danmar

  committed
  6c8558c

  Copy full SHA for 6c8558c

Commits on Jun 26, 2014

• CheckBufferOverrun: Added bufferOverrun2 that is based on ValueFlow/SymbolDatabase/Ast from the start. Replaced some old checking.

  danmar

  committed
  036b2f8

  Copy full SHA for 036b2f8

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