3814163373
some MathLib adjustments for out-of-range numbers after std::stringstream removal ( #3100 )
2021-02-13 19:10:45 +01:00
37a5ec8cd5
Summaries: Moved to its own files
2020-12-20 19:53:58 +01:00
d95ccefab4
Makefile: debug mode
2020-12-05 10:21:50 +01:00
f7cad0273b
2.3: Makefile release mode
2020-12-05 10:20:59 +01:00
ad4185428e
Run dmake again
2020-11-16 09:14:31 +01:00
c7cbe7f2d3
rename externals/tinyxml to externals/tinyxml2
2020-11-16 09:11:53 +01:00
ef5d5e84c5
Fixed #8936 (Add PicoJSON Copyright notice)
2020-11-14 21:31:50 +01:00
bd7e915c20
Add generic reverse valueflow ( #2878 )
2020-11-10 16:00:55 +01:00
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
621f0f59b3
Makefile: Set debug mode
2020-10-03 11:10:16 +02:00
8636dd8559
2.2: Updated Makefile
2020-10-03 11:05:53 +02:00
ccdd5f0ede
Run dmake
2020-09-05 21:49:09 +02:00
5fa3d5304b
Run dmake ( #2705 )
2020-07-10 08:20:38 +02:00
ab663feea8
Add testbughuntingchecks.cpp
2020-06-19 13:38:56 +02:00
d0ac583b97
Add 'bughuntingchecks'
2020-06-19 13:16:48 +02:00
9cdad2fb33
Set debug mode
2020-06-13 18:09:27 +02:00
0f23bde2b0
2.1: Set release mode in Makefile
2020-06-13 18:08:37 +02:00
37bc0483a4
made check.h less heavy ( #2633 )
2020-05-23 07:16:49 +02:00
e2ead44a2d
dmake updates. externals/z3_version.h should never be added as a dependency
2020-05-19 20:14:29 +02:00
32e569704b
executeCommand in CppCheckExecutor or QCheckThread
2020-05-19 16:04:40 +02:00
d78ff975a0
Run dmake
2020-05-19 10:11:56 +02:00
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
e895fa4c3f
TestTrac: Add separate file for black box / integration tests in testrunner
2020-05-18 20:22:00 +02:00
6fb014a07a
Generate new Makefile by dmake without externals/z3_version.h
2020-05-15 18:28:18 +02:00
fd09c6e8a5
run dmake
2020-05-15 17:17:22 +02:00
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
db6135dd13
Makefile: DEBUG
2020-05-10 14:15:03 +02:00
aad6dc4367
2.0: Updated Makefile
2020-05-10 11:31:19 +02:00
12aa8b0e65
Run dmake
2020-04-19 11:17:59 +02:00
efeb7deb7a
Run dmake and astyle
2020-02-16 19:58:09 +01:00
7368a54629
Add generic valueflow forward analysis ( #2511 )
2020-02-13 16:27:06 +01:00
a955524311
Run dmake ( #2506 )
2020-01-26 08:23:15 +01:00
7a2c10f9f1
Run astyle
2020-01-13 10:40:36 +01:00
00e017722f
Run dmake
2020-01-11 14:43:58 +01:00
4c778e0999
Clang import; Rename files/namespace
2020-01-10 16:29:06 +01:00
6a4a59b783
Clang Import; Added test
2020-01-06 16:45:18 +01:00
b03bdfaf72
Import Clang ast dump (experimental)
2020-01-05 15:12:53 +01:00
cb9381e620
Makefile: Set debug mode
2019-12-21 12:10:10 +01:00
077e652de4
1.90: Makefile
2019-12-21 11:51:10 +01:00
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
0024c3e446
Run xmllint on cfg/cppcheck-cfg.rng
2019-11-17 16:25:10 +01:00
33d43808f7
Run dmake
2019-10-30 18:38:37 +01:00
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
7ab22c7176
ExprEngine: Use smt solver Z3
2019-10-02 17:59:04 +02:00
16f1d8196b
Add validateRules target (xmllint) for rules/*.xml
2019-09-21 20:33:48 +02:00
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
518bb5195c
dmake: Sort header dependencies ( #2182 )
...
Makes it simpler to check diffs, and prevents updates to Makefile due to
changes in header includes.
2019-09-19 09:26:59 +02:00
2d651b09fc
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-progress and hacky!
2019-09-17 21:00:59 +02:00
afe05d019c
dmake: Improve dependency detection of external and cli includes ( #2163 )
...
Previously, external files were not searched at all, and dependencies
on header files in cli was not taken into account for test files.
To add dependency of headers in externals, we also need to search for
includes with angular brackets.
2019-09-10 10:32:36 +02:00
c07d5f0161
Makefile: Set debug mode
2019-09-01 15:01:55 +02:00
Oliver Stöneberg
Daniel Marjamäki
Paul Fultz II
Rikard Falkeborn
amai2012
amai2012
Daniel Marjamäki
Sebastian