Paul Fultz II
5077663684
Fix issue 9979: false positive: containerOutOfBounds with conditional resize ( #3136 )
2021-03-30 14:02:28 +02:00
Daniel Marjamäki
9826d85f66
Makefile: Set debug mode
2021-03-21 21:27:57 +01:00
Daniel Marjamäki
f9e46572e7
2.4: Updated Makefile
2021-03-21 21:26:38 +01:00
Oliver Stöneberg
e783df646a
various CI refactorings and cleanups ( #3142 )
2021-02-21 14:17:02 +01:00
Oliver Stöneberg
3814163373
some MathLib adjustments for out-of-range numbers after std::stringstream removal ( #3100 )
2021-02-13 19:10:45 +01:00
Daniel Marjamäki
37a5ec8cd5
Summaries: Moved to its own files
2020-12-20 19:53:58 +01:00
Daniel Marjamäki
d95ccefab4
Makefile: debug mode
2020-12-05 10:21:50 +01:00
Daniel Marjamäki
f7cad0273b
2.3: Makefile release mode
2020-12-05 10:20:59 +01:00
Daniel Marjamäki
ad4185428e
Run dmake again
2020-11-16 09:14:31 +01:00
Daniel Marjamäki
c7cbe7f2d3
rename externals/tinyxml to externals/tinyxml2
2020-11-16 09:11:53 +01:00
Daniel Marjamäki
ef5d5e84c5
Fixed #8936 (Add PicoJSON Copyright notice)
2020-11-14 21:31:50 +01:00
Paul Fultz II
bd7e915c20
Add generic reverse valueflow ( #2878 )
2020-11-10 16:00:55 +01:00
Rikard Falkeborn
33739d23aa
Fix #9941 : Return value type of library functions returning unsigned ( #2848 )
...
Fix return value types of library functions returning unsigned.
Previously, the valueType of auto x = f() would be signed even if f()
was specified to return an unsigned type.
This fixes #9941 , which is a regression in cppcheck 2.2 compared to 2.1.
The regression was introduced in 32df807b22
.
2020-10-16 07:56:31 +02:00
Daniel Marjamäki
621f0f59b3
Makefile: Set debug mode
2020-10-03 11:10:16 +02:00
Daniel Marjamäki
8636dd8559
2.2: Updated Makefile
2020-10-03 11:05:53 +02:00
Daniel Marjamäki
ccdd5f0ede
Run dmake
2020-09-05 21:49:09 +02:00
Rikard Falkeborn
5fa3d5304b
Run dmake ( #2705 )
2020-07-10 08:20:38 +02:00
Daniel Marjamäki
ab663feea8
Add testbughuntingchecks.cpp
2020-06-19 13:38:56 +02:00
Daniel Marjamäki
d0ac583b97
Add 'bughuntingchecks'
2020-06-19 13:16:48 +02:00
Daniel Marjamäki
9cdad2fb33
Set debug mode
2020-06-13 18:09:27 +02:00
Daniel Marjamäki
0f23bde2b0
2.1: Set release mode in Makefile
2020-06-13 18:08:37 +02:00
Oliver Stöneberg
37bc0483a4
made check.h less heavy ( #2633 )
2020-05-23 07:16:49 +02:00
Daniel Marjamäki
e2ead44a2d
dmake updates. externals/z3_version.h should never be added as a dependency
2020-05-19 20:14:29 +02:00
Daniel Marjamäki
32e569704b
executeCommand in CppCheckExecutor or QCheckThread
2020-05-19 16:04:40 +02:00
amai2012
d78ff975a0
Run dmake
2020-05-19 10:11:56 +02:00
Daniel Marjamäki
330e634937
Revert "TestTrac: Add separate file for black box / integration tests in testrunner"
...
This reverts commit e895fa4c3f
.
2020-05-19 07:53:54 +02:00
Daniel Marjamäki
e895fa4c3f
TestTrac: Add separate file for black box / integration tests in testrunner
2020-05-18 20:22:00 +02:00
Daniel Marjamäki
6fb014a07a
Generate new Makefile by dmake without externals/z3_version.h
2020-05-15 18:28:18 +02:00
Daniel Marjamäki
fd09c6e8a5
run dmake
2020-05-15 17:17:22 +02:00
Oliver Stöneberg
a0317477c9
utils.h: avoid unnecessary string creation in isStringCharLiteral() ( #2638 )
...
* utils.h: avoid unnecessary string creation in isStringCharLiteral()
reduces Ir from 541 to 63 in a test
* dmake
2020-05-14 14:45:35 +02:00
Daniel Marjamäki
db6135dd13
Makefile: DEBUG
2020-05-10 14:15:03 +02:00
Daniel Marjamäki
aad6dc4367
2.0: Updated Makefile
2020-05-10 11:31:19 +02:00
amai2012
12aa8b0e65
Run dmake
2020-04-19 11:17:59 +02:00
amai2012
efeb7deb7a
Run dmake and astyle
2020-02-16 19:58:09 +01:00
Paul Fultz II
7368a54629
Add generic valueflow forward analysis ( #2511 )
2020-02-13 16:27:06 +01:00
Rikard Falkeborn
a955524311
Run dmake ( #2506 )
2020-01-26 08:23:15 +01:00
amai2012
7a2c10f9f1
Run astyle
2020-01-13 10:40:36 +01:00
amai2012
00e017722f
Run dmake
2020-01-11 14:43:58 +01:00
Daniel Marjamäki
4c778e0999
Clang import; Rename files/namespace
2020-01-10 16:29:06 +01:00
Daniel Marjamäki
6a4a59b783
Clang Import; Added test
2020-01-06 16:45:18 +01:00
Daniel Marjamäki
b03bdfaf72
Import Clang ast dump (experimental)
2020-01-05 15:12:53 +01:00
Daniel Marjamäki
cb9381e620
Makefile: Set debug mode
2019-12-21 12:10:10 +01:00
Daniel Marjamäki
077e652de4
1.90: Makefile
2019-12-21 11:51:10 +01:00
amai2012
3a71eb834d
Run xmllint on cppcheck-errors.rng. Speed up creation of example XML output for validateXML target
2019-12-02 22:03:59 +01:00
amai2012
0024c3e446
Run xmllint on cfg/cppcheck-cfg.rng
2019-11-17 16:25:10 +01:00
Daniel Marjamäki
33d43808f7
Run dmake
2019-10-30 18:38:37 +01:00
Sebastian
75e4e70ce4
Fix #9299 (Makefile: tools/matchcompiler.py is executed via Python 2) ( #2247 )
...
Check if "python" is available, if not check for "python3" and use
the available Python interpreter. If no Python interpreter is found,
"make" fails with an according error message.
This solves the issue that not all modern Linux distributions any longer
install Python 2 by default, so "python" is not available and
"make MATCHCOMPILER=yes" would fail. Instead of forcing the users to
install Python 2, Python 3 is used in such a case now if it is
available.
2019-10-08 10:55:40 +02:00
Daniel Marjamäki
7ab22c7176
ExprEngine: Use smt solver Z3
2019-10-02 17:59:04 +02:00
amai2012
16f1d8196b
Add validateRules target (xmllint) for rules/*.xml
2019-09-21 20:33:48 +02:00
Rikard Falkeborn
46ac0d79c1
Checkmemleakautovar: fix crash and FP ( #2196 )
...
This fixes crashes found by daca where valueType() is NULL. Also,
somewhat related, it removes warnings when casting to a type that is
unknown to cppcheck, for example, there is no longer a warning for the
following code:
void* f() {
void *x = malloc(1);
return (mytype)x;
}
2019-09-21 14:59:54 +02:00