Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit history

Commits on Oct 9, 2021

• Refactor: Use interval analysis for symbolic values for inferCondtion (#3488)

  pfultz2

  authored
  a1e0ef9View commit details

  Copy full SHA for a1e0ef9

  View code at this pointBrowse repository at this point

Commits on Jul 8, 2021

• Add colors to CLI reporting (#3304)

  pfultz2

  authored
  8dc1fa7View commit details

  Copy full SHA for 8dc1fa7

  View code at this pointBrowse repository at this point

Commits on Apr 30, 2021

• Revert "Clang import; This experimental feature didn't "take off" much. After a lot of work we are still far fram the goal. I remove it now but don't rule out completely that it could ever be added…

  Show description for d2d2124
  danmar

  committed
  d2d2124View commit details

  Copy full SHA for d2d2124

  View code at this pointBrowse repository at this point

Commits on Apr 21, 2021

• Clang import; This experimental feature didn't "take off" much. After a lot of work we are still far fram the goal. I remove it now but don't rule out completely that it could ever be added again.

  danmar

  committed
  207361bView commit details

  Copy full SHA for 207361b

  View code at this pointBrowse repository at this point

Commits on Dec 20, 2020

• Summaries: Moved to its own files

  danmar

  committed
  37a5ec8View commit details

  Copy full SHA for 37a5ec8

  View code at this pointBrowse repository at this point

Commits on Nov 16, 2020

• Run dmake again

  danmar

  committed
  ad41854View commit details

  Copy full SHA for ad41854

  View code at this pointBrowse repository at this point

• rename externals/tinyxml to externals/tinyxml2

  danmar

  committed
  c7cbe7fView commit details

  Copy full SHA for c7cbe7f

  View code at this pointBrowse repository at this point

Commits on Nov 10, 2020

• Add generic reverse valueflow (#2878)

  pfultz2

  authored
  bd7e915View commit details

  Copy full SHA for bd7e915

  View code at this pointBrowse repository at this point

Commits on Jun 19, 2020

• Add 'bughuntingchecks'

  danmar

  committed
  d0ac583View commit details

  Copy full SHA for d0ac583

  View code at this pointBrowse repository at this point

Commits on May 23, 2020

• made check.h less heavy (#2633)

  firewave

  authored
  37bc048View commit details

  Copy full SHA for 37bc048

  View code at this pointBrowse repository at this point

Commits on May 19, 2020

• Run dmake

  

  amai2012

  committed
  d78ff97View commit details

  Copy full SHA for d78ff97

  View code at this pointBrowse repository at this point

Commits on Feb 13, 2020

• Add generic valueflow forward analysis (#2511)

  pfultz2

  authored
  7368a54View commit details

  Copy full SHA for 7368a54

  View code at this pointBrowse repository at this point

Commits on Jan 10, 2020

• Clang import; Rename files/namespace

  danmar

  committed
  4c778e0View commit details

  Copy full SHA for 4c778e0

  View code at this pointBrowse repository at this point

Commits on Jan 5, 2020

• Import Clang ast dump (experimental)

  danmar

  committed
  b03bdfaView commit details

  Copy full SHA for b03bdfa

  View code at this pointBrowse repository at this point

Commits on Oct 30, 2019

• Run dmake

  ew-dm

  committed
  33d4380View commit details

  Copy full SHA for 33d4380

  View code at this pointBrowse repository at this point

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
  2d651b0View commit details

  Copy full SHA for 2d651b0

  View code at this pointBrowse repository at this point

Commits on Aug 14, 2019

• Dmake cleanups (#2077)

  Show description for f139558
  

  rikardfalkeborn

  authored and

  danmar

  committed
  f139558View commit details

  Copy full SHA for f139558

  View code at this pointBrowse repository at this point

Commits on Jul 27, 2019

• dmake: Fix check of last header file in lib.pri (#2045)

  Show description for 0324bbf
  

  rikardfalkeborn

  authored and

  amai2012

  committed
  0324bbfView commit details

  Copy full SHA for 0324bbf

  View code at this pointBrowse repository at this point

Commits on Dec 25, 2018

• CTU: Refactoring

  danmar

  committed
  271763eView commit details

  Copy full SHA for 271763e

  View code at this pointBrowse repository at this point

Commits on Oct 29, 2016

• Added --cppcheck-build-dir flag

  danmar

  committed
  9ff3e85View commit details

  Copy full SHA for 9ff3e85

  View code at this pointBrowse repository at this point

Commits on Oct 2, 2016

• CLI: Fix exclude of absolute path. #4399

  danmar

  committed
  3605457View commit details

  Copy full SHA for 3605457

  View code at this pointBrowse repository at this point

Commits on Aug 13, 2016

• Fixed #7177 (Support compile_commands.json)

  danmar

  committed
  606e316View commit details

  Copy full SHA for 606e316

  View code at this pointBrowse repository at this point

Commits on Jul 20, 2016

• Merge simplecpp branch

  danmar

  committed
  03d2829View commit details

  Copy full SHA for 03d2829

  View code at this pointBrowse repository at this point

Commits on Jan 8, 2016

• Fixed #7275 - Make GUI tests buildable

  Show description for e92bbf6
  

  Aleksandr Pikalev

  authored and

  danmar

  committed
  e92bbf6View commit details

  Copy full SHA for e92bbf6

  View code at this pointBrowse repository at this point

Commits on Nov 22, 2015

• Run dmake to update Makefile etc.

  amai2012

  committed
  b1385ddView commit details

  Copy full SHA for b1385dd

  View code at this pointBrowse repository at this point

Commits on Aug 2, 2015

• Refactoring: Move some AST related functions to distinct source file

  amai2012

  committed
  96c3c11View commit details

  Copy full SHA for 96c3c11

  View code at this pointBrowse repository at this point

Commits on Jul 23, 2015

• Removed ExecutionPath

  danmar

  committed
  c2a15acView commit details

  Copy full SHA for c2a15ac

  View code at this pointBrowse repository at this point

Commits on Sep 23, 2014

• Revert "run dmake"

  Show description for 1e8c7e1
  PKEuS

  committed
  1e8c7e1View commit details

  Copy full SHA for 1e8c7e1

  View code at this pointBrowse repository at this point

• run dmake

  matthiaskrgr

  committed
  8ccf9eeView commit details

  Copy full SHA for 8ccf9ee

  View code at this pointBrowse repository at this point

• Change "obsolete" in all filenames into "obsolescent", and also update all references to such files.

  Show description for 1cc872f
  

  lanurmi

  authored and

  danmar

  committed
  1cc872fView commit details

  Copy full SHA for 1cc872f

  View code at this pointBrowse repository at this point

Commits on Sep 11, 2014

• Fixed #6158 (New check: dangerous sign conversion)

  danmar

  committed
  7847263View commit details

  Copy full SHA for 7847263

  View code at this pointBrowse repository at this point

Commits on Aug 29, 2014

• Makefile: generate new Makefile with dmake

  danmar

  committed
  3ac5f16View commit details

  Copy full SHA for 3ac5f16

  View code at this pointBrowse repository at this point

Commits on Aug 27, 2014

• run dmake

  matthiaskrgr

  committed
  cd33d78View commit details

  Copy full SHA for cd33d78

  View code at this pointBrowse repository at this point

Commits on Aug 6, 2014

• dmake: update

  matthiaskrgr

  committed
  b5cf567View commit details

  Copy full SHA for b5cf567

  View code at this pointBrowse repository at this point

Commits on May 24, 2014

• Updated Makefile

  danmar

  committed
  bb8973aView commit details

  Copy full SHA for bb8973a

  View code at this pointBrowse repository at this point