Commits

History for

Commits on Oct 3, 2020

Fix issue 9930: valueFlowLifetime hang

pfultz2
authored and
danmar
committed
828a5e2
Update Copyright year
danmar
committed
8d20d8a

Commits on Oct 2, 2020

Try to make Travis happy
danmar
committed
27fbe28
try to make test/cli happy
danmar
committed
aa055fe
Fixed #9707 (False positive: unreadVariable, union)
danmar
committed
6de91d6
Suppressions: Add special case for backwards compatibility. suppression comment after a {.
danmar
committed
ea3a9d6
Fix SymbolDatabase for 'extern const char ( * x [ 256 ] ) ;'
danmar
committed
1251d35

Commits on Oct 1, 2020

Astyle formatting code [ci skip]
orbitcowboy
committed
da6f10e

Commits on Sep 30, 2020

Commits on Sep 29, 2020

Commits on Sep 28, 2020

Commits on Sep 27, 2020

Commits on Sep 26, 2020

Commits on Sep 25, 2020

Commits on Sep 24, 2020

Fix crash in cbmc detected with daca@home
danmar
committed
093ff58
Fixed knownArgument false positive for pointer
danmar
committed
801cc8d
Fix knownArgument false positive when sizeof is used
danmar
committed
c08e1a9

Commits on Sep 23, 2020

Fixed #9906 (False positive: constParameter (function pointer))
danmar
committed
514b7f4