Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jan 30, 2020

• Support clang tidy (#2486)

  fuzzelhjb

  authored
  d82da98

  Copy full SHA for d82da98

Commits on Jan 14, 2020

• Rename 'Verification' to 'Bug hunting'

  danmar

  committed
  7820b5d

  Copy full SHA for 7820b5d

Commits on Jan 5, 2020

• Import Clang ast dump (experimental)

  danmar

  committed
  b03bdfa

  Copy full SHA for b03bdfa

Commits on Dec 31, 2019

• Verification; Added --verify-diff option

  danmar

  committed
  48be067

  Copy full SHA for 48be067

Commits on Dec 27, 2019

• Verification; save report in custom file

  danmar

  committed
  49ed1a8

  Copy full SHA for 49ed1a8

• Verification; Updated report

  danmar

  committed
  4b4f7ea

  Copy full SHA for 4b4f7ea

Commits on Dec 19, 2019

• Thread safety: use std::atomic for global flags

  danmar

  committed
  2a2fa49

  Copy full SHA for 2a2fa49

Commits on Nov 9, 2019

• Fixed #9464 (Import compile database; only check given configuration)

  danmar

  committed
  81fff2e

  Copy full SHA for 81fff2e

Commits on Sep 29, 2019

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

  danmar

  committed
  40c3e68

  Copy full SHA for 40c3e68

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

Commits on Jul 31, 2019

• Convert SHOWTIME_MODES to enum class

  amai2012

  committed
  b0fbbb5

  Copy full SHA for b0fbbb5

Commits on Jul 23, 2019

• GUI: Better settings for extended safe checks

  danmar

  committed
  681bd0a

  Copy full SHA for 681bd0a

Commits on Jul 11, 2019

• Rename safeValues to unknownValues

  danmar

  committed
  783f7f1

  Copy full SHA for 783f7f1

Commits on Jul 10, 2019

• Function return: Extra check of safe function return values

  danmar

  committed
  05d35b0

  Copy full SHA for 05d35b0

• Safe functions: Check more possible function argument values

  danmar

  committed
  c990612

  Copy full SHA for c990612

Commits on May 5, 2019

• Only check unused templates if that is configured

  danmar

  committed
  c997186

  Copy full SHA for c997186

Commits on Apr 13, 2019

• Refactoring; Reorder Settings members alphabetically.

  danmar

  committed
  d3e7d09

  Copy full SHA for d3e7d09

Commits on Apr 10, 2019

• Travis: Try to make travis happy by temporary setting checkUnusedTemplates to true

  danmar

  committed
  f6f8e2c

  Copy full SHA for f6f8e2c

• GUI: add setting for 'checkHeaders', 'checkUnusedTemplates' and 'maxCtuDepth' to project

  danmar

  committed
  f6b410b

  Copy full SHA for f6b410b

Commits on Mar 17, 2019

• Removed '--experimental-fast' flag

  danmar

  committed
  c7155a8

  Copy full SHA for c7155a8

Commits on Mar 6, 2019

• lib: reorders settings to match definition (-Wreorder) (#1727)

  Show description for cb973cb
  

  carenas

  authored and

  danmar

  committed
  cb973cb

  Copy full SHA for cb973cb

Commits on Mar 5, 2019

• Add --remove-unused-templates flag to remove all unused templates

  danmar

  committed
  fda0f52

  Copy full SHA for fda0f52

Commits on Mar 4, 2019

• Added --remove-unused-included-templates option

  danmar

  committed
  3675318

  Copy full SHA for 3675318

Commits on Mar 2, 2019

• Added '--check-headers=no' option.

  danmar

  committed
  f5c274b

  Copy full SHA for f5c274b

Commits on Feb 12, 2019

• settings: -Wreorder fix (#1664)

  Show description for 03c9477
  

  carenas

  authored and

  versat

  committed
  03c9477

  Copy full SHA for 03c9477

Commits on Feb 9, 2019

• Add --experimental-fast option

  danmar

  committed
  4f232e4

  Copy full SHA for 4f232e4

• Update copyright year

  danmar

  committed
  bd7790f

  Copy full SHA for bd7790f

Commits on Feb 3, 2019

• CLI: Added --max-ctu-depth

  danmar

  committed
  437800f

  Copy full SHA for 437800f

Commits on Jan 14, 2019

• template simplifier: add cli --debug-template option to print the parsed template information (#1598)

  

  IOBYTE

  authored and

  danmar

  committed
  f0cfe03

  Copy full SHA for f0cfe03

Commits on Oct 13, 2018

• Updated copyright year

  danmar

  committed
  7833ade

  Copy full SHA for 7833ade

Commits on Aug 5, 2018

• Renamed --debug to --debug-simplified

  danmar

  committed
  ddbe4b8

  Copy full SHA for ddbe4b8

Commits on Jun 17, 2018

• Renamed _terminated

  danmar

  committed
  87b21f3

  Copy full SHA for 87b21f3

• Renamed _enabled

  danmar

  committed
  bea6b32

  Copy full SHA for bea6b32

Commits on Jan 14, 2018

• Updated copyright year

  danmar

  committed
  c4caee6

  Copy full SHA for c4caee6

Commits on Sep 20, 2017

• ValueFlow: Put 'inconclusive' state in the ValueKind. A value can't be both known and inconclusive.

  danmar

  committed
  ba8222d

  Copy full SHA for ba8222d