Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit history

Commits on Feb 21, 2022

• Fix #10391 bug hunting; crash for small C-code (#3846)

  chrchr-github

  authored
  bedde0aView commit details

  Copy full SHA for bedde0a

  View code at this pointBrowse repository at this point

Commits on Feb 12, 2022

• fixed and enabled performance-for-range-copy clang-tidy warning (#3682)

  firewave

  authored
  06d10b7View commit details

  Copy full SHA for 06d10b7

  View code at this pointBrowse repository at this point

Commits on Feb 11, 2022

• small utils.h cleanup (#3821)

  firewave

  authored
  6e57cc4View commit details

  Copy full SHA for 6e57cc4

  View code at this pointBrowse repository at this point

Commits on Feb 10, 2022

• removed OVERRIDE and FINAL defines and use the keywords directly (#3767)

  firewave

  authored
  f32583eView commit details

  Copy full SHA for f32583e

  View code at this pointBrowse repository at this point

Commits on Feb 5, 2022

• Update copyright year

  danmar

  committed
  3989408View commit details

  Copy full SHA for 3989408

  View code at this pointBrowse repository at this point

Commits on Jan 27, 2022

• avoid dependency on transitive includes - based on include-what-you-use (#3757)

  firewave

  authored
  171da2eView commit details

  Copy full SHA for 171da2e

  View code at this pointBrowse repository at this point

Commits on Jan 3, 2022

• exprengine: reduce max buffer size to int_max

  danmar

  committed
  3524a0aView commit details

  Copy full SHA for 3524a0a

  View code at this pointBrowse repository at this point

• exprengine: fix appveyor failure

  danmar

  committed
  0cba296View commit details

  Copy full SHA for 0cba296

  View code at this pointBrowse repository at this point

• exprengine: use MAX_BUFFER_SIZE constant

  danmar

  committed
  d53352bView commit details

  Copy full SHA for d53352b

  View code at this pointBrowse repository at this point

• exprengine; add CONTRACT #define so contract-handling can be enabled/disabled

  danmar

  committed
  33446d0View commit details

  Copy full SHA for 33446d0

  View code at this pointBrowse repository at this point

• exprengine: better checking for uninit variables

  danmar

  committed
  33305efView commit details

  Copy full SHA for 33305ef

  View code at this pointBrowse repository at this point

Commits on Oct 29, 2021

• fix klocwork warning; pointer is checked and then dereferenced. FN ticket: #10570

  danmar

  committed
  b872639View commit details

  Copy full SHA for b872639

  View code at this pointBrowse repository at this point

Commits on Oct 28, 2021

• klocwork; fixed dereference before check. FN ticket: #10574

  danmar

  committed
  87d1ba4View commit details

  Copy full SHA for 87d1ba4

  View code at this pointBrowse repository at this point

Commits on Oct 24, 2021

• use -Weverything for clang in CMake / fixed some warnings (#3519)

  firewave

  authored
  cc1a188View commit details

  Copy full SHA for cc1a188

  View code at this pointBrowse repository at this point

Commits on Sep 15, 2021

• Shadow variables, const, rename function (#3456)

  chrchr-github

  authored
  05acc13View commit details

  Copy full SHA for 05acc13

  View code at this pointBrowse repository at this point

Commits on Aug 7, 2021

• Format with uncrustify (#3388)

  pfultz2

  authored
  7f358b2View commit details

  Copy full SHA for 7f358b2

  View code at this pointBrowse repository at this point

Commits on Jul 11, 2021

• Try to solve self check warning to make CI happy

  danmar

  committed
  9fb33e6View commit details

  Copy full SHA for 9fb33e6

  View code at this pointBrowse repository at this point

Commits on Apr 3, 2021

• cleaned up includes based on include-what-you-use (#3141)

  firewave

  authored
  6397e29View commit details

  Copy full SHA for 6397e29

  View code at this pointBrowse repository at this point

Commits on Mar 21, 2021

• Update Copyright year

  danmar

  committed
  4243727View commit details

  Copy full SHA for 4243727

  View code at this pointBrowse repository at this point

Commits on Feb 24, 2021

• Refactorization: Improved internal implementation of severity and certainty levels

  Show description for 141d2ac
  

  PKEuS

  authored and

  danmar

  committed
  141d2acView commit details

  Copy full SHA for 141d2ac

  View code at this pointBrowse repository at this point

Commits on Jan 13, 2021

• Skip calculateWarningHash if we are not in bugHunting (#3047)

  Ken-Patrick

  authored
  56124f0View commit details

  Copy full SHA for 56124f0

  View code at this pointBrowse repository at this point

Commits on Jan 9, 2021

• some self-check suppression cleanups (#3032)

  firewave

  authored
  ac7647fView commit details

  Copy full SHA for ac7647f

  View code at this pointBrowse repository at this point

Commits on Jan 8, 2021

• Add generic valueflowBeforeCondition (#3001)

  pfultz2

  authored
  c267d85View commit details

  Copy full SHA for c267d85

  View code at this pointBrowse repository at this point

Commits on Jan 5, 2021

• fixed and enabled some more clang-tidy warnings (#3007)

  firewave

  authored
  96704c9View commit details

  Copy full SHA for 96704c9

  View code at this pointBrowse repository at this point

Commits on Jan 2, 2021

• fixed and enabled several clang-tidy warnings (#2816)

  firewave

  authored
  fbf5858View commit details

  Copy full SHA for fbf5858

  View code at this pointBrowse repository at this point

Commits on Dec 26, 2020

• ExprEngine: Handling cases when for condition is always false (#2984)

  jubnzv

  authored
  1c12b4fView commit details

  Copy full SHA for 1c12b4f

  View code at this pointBrowse repository at this point

• fixed some clang warnings (#2980)

  firewave

  authored
  fa8a836View commit details

  Copy full SHA for fa8a836

  View code at this pointBrowse repository at this point

Commits on Dec 22, 2020

• astyle formatting

  Show description for d1139db
  danmar

  committed
  d1139dbView commit details

  Copy full SHA for d1139db

  View code at this pointBrowse repository at this point

• ExprEngine; Use 60s as default maxtime processing a function, the analysis time will be somewhat reasonable

  danmar

  committed
  e4766c7View commit details

  Copy full SHA for e4766c7

  View code at this pointBrowse repository at this point

• ExprEngine: Add condition branches for the while loops (#2970)

  jubnzv

  authored
  259f562View commit details

  Copy full SHA for 259f562

  View code at this pointBrowse repository at this point

• ExprEngine: use 'real' instead of 'fpa' values in latest Z3 for floats

  danmar

  committed
  a9e7974View commit details

  Copy full SHA for a9e7974

  View code at this pointBrowse repository at this point

• ExprEngine; add a 'stupid' handling of floating point promotions for integers

  danmar

  committed
  315892dView commit details

  Copy full SHA for 315892d

  View code at this pointBrowse repository at this point

• ExprEngine; Fix problem when float suffix is used

  danmar

  committed
  1812951View commit details

  Copy full SHA for 1812951

  View code at this pointBrowse repository at this point

• ExprEngine; Avoid overspecified constraints

  danmar

  committed
  347fccbView commit details

  Copy full SHA for 347fccb

  View code at this pointBrowse repository at this point

• ExprEngine: Add FP and String literals in determining that condition can (#2969)

  jubnzv

  authored
  0731df7View commit details

  Copy full SHA for 0731df7

  View code at this pointBrowse repository at this point