40c3e68e07
ExprEngine: Add --debug-verify, fixed handling of global arrays
2019-09-29 15:00:54 +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
b0fbbb5aa7
Convert SHOWTIME_MODES to enum class
2019-07-31 22:35:51 +02:00
681bd0a911
GUI: Better settings for extended safe checks
2019-07-23 11:54:38 +02:00
783f7f1648
Rename safeValues to unknownValues
2019-07-11 16:05:48 +02:00
05d35b063d
Function return: Extra check of safe function return values
2019-07-10 20:00:21 +02:00
c9906125de
Safe functions: Check more possible function argument values
2019-07-10 16:59:05 +02:00
c997186794
Only check unused templates if that is configured
2019-05-05 14:40:30 +02:00
d3e7d09f5c
Refactoring; Reorder Settings members alphabetically.
2019-04-13 15:34:50 +02:00
f6f8e2c192
Travis: Try to make travis happy by temporary setting checkUnusedTemplates to true
2019-04-10 20:27:24 +02:00
f6b410b469
GUI: add setting for 'checkHeaders', 'checkUnusedTemplates' and 'maxCtuDepth' to project
2019-04-10 16:49:24 +02:00
c7155a8e08
Removed '--experimental-fast' flag
2019-03-17 08:19:56 +01:00
cb973cbb7b
lib: reorders settings to match definition (-Wreorder) ( #1727 )
...
lib/settings.cpp:53:7: warning: field 'removeUnusedIncludedTemplates' will be
initialized after field 'removeUnusedTemplates' [-Wreorder]
removeUnusedIncludedTemplates(false),
^
lib/settings.cpp:54:7: warning: field 'removeUnusedTemplates' will be
initialized after field 'checkConfiguration' [-Wreorder]
removeUnusedTemplates(false),
^
2019-03-06 06:12:02 +01:00
fda0f52424
Add --remove-unused-templates flag to remove all unused templates
2019-03-05 14:58:02 +01:00
3675318208
Added --remove-unused-included-templates option
2019-03-04 19:10:49 +01:00
f5c274b3b1
Added '--check-headers=no' option.
2019-03-02 19:52:15 +01:00
03c9477028
settings: -Wreorder fix ( #1664 )
...
otherwise showing (with Apple LLVM version 10.0.0):
lib/settings.cpp:34:7: warning: field 'jointSuppressionReport' will be
initialized after field 'maxCtuDepth' [-Wreorder]
jointSuppressionReport(false),
2019-02-12 09:07:59 +01:00
4f232e41dd
Add --experimental-fast option
2019-02-09 14:40:50 +01:00
bd7790fd8c
Update copyright year
2019-02-09 07:24:06 +01:00
437800f46d
CLI: Added --max-ctu-depth
2019-02-03 17:51:36 +01:00
f0cfe03f7b
template simplifier: add cli --debug-template option to print the parsed template information ( #1598 )
2019-01-14 08:29:32 +01:00
7833ade128
Updated copyright year
2018-10-13 18:20:31 +02:00
ddbe4b89b5
Renamed --debug to --debug-simplified
2018-08-05 11:19:20 +02:00
87b21f3e57
Renamed _terminated
2018-06-17 08:22:53 +02:00
bea6b32157
Renamed _enabled
2018-06-17 08:21:05 +02:00
c4caee6b18
Updated copyright year
2018-01-14 15:37:52 +01:00
ba8222de1c
ValueFlow: Put 'inconclusive' state in the ValueKind. A value can't be both known and inconclusive.
2017-09-20 22:41:36 +02:00
91eb0f1fad
Removed XML version 1
2017-07-29 18:56:22 +02:00
28aa939d69
iwyu - include what you use
2017-05-27 04:33:47 +02:00
970ff181de
Show 'Possible' errors without --enable=warning
2017-05-16 17:51:45 +02:00
8d75d1b920
Partial fix for #8028 (ValueFlow: Origin/callstack of value)
2017-05-15 20:05:11 +02:00
3432257390
Removed deprecated command --append
2017-05-14 11:57:04 +02:00
b1f4bd7504
Refactorization: Reimplemented Settings::_enabled as a bitfeld instead of std::set ( #7995 )
2017-04-11 11:49:26 +02:00
6c71d74563
Cleanup: There is no need to clear a string directly after its creation.
2017-01-16 20:10:28 +01:00
d665641a76
Refactorizations:
...
- use std::string::pop_back() and std::string::back()
- pass argument as const std::string&
- Moved iterator into for loop head
2016-12-05 14:50:01 +01:00
a94628d8fc
Settings: Make Settings::_terminated static. All threads and subchecks are terminated
2016-08-21 15:57:19 +02:00
606e31602c
Fixed #7177 (Support compile_commands.json)
2016-08-13 10:50:03 +02:00
c586ae8cbe
Revert 'project' - it is not ready yet
2016-08-07 17:10:37 +02:00
78fc307c73
1
2016-08-07 15:45:36 +02:00
4dbdb50317
split
2016-08-07 15:35:41 +02:00
70ccfa5947
fix loading of vcxproj files
2016-08-07 14:21:06 +02:00
e0f4ce9358
vs
2016-08-07 13:55:27 +02:00
09d6f4f0a4
1
2016-08-06 21:04:50 +02:00
b5d3ecb942
Updated TinyXML, make use of second argument of XMLElement::Attribute()
2016-07-09 11:56:07 +02:00
5784aec407
Settings: fixed defaultSign, it only applies to char
2016-01-31 14:40:06 +01:00
bcba1a7130
platforms: set bit values when --platform=<file> is used
2016-01-09 10:26:48 +01:00
794e64bb29
Platforms files: Added unix32-unsigned and unix64-unsigned. Not sure what extension to use for platform files, chose .xml now.
2016-01-08 11:17:32 +01:00
ec733e7e71
CLI: added --platform=<file> interface
2016-01-07 20:19:08 +01:00
125d2f7a36
Some initial support for platforms that doesn't have 8-bit char
2016-01-05 13:16:00 +01:00
79e663dd6f
Settings: Remove '_' prefix for public member variables
2016-01-03 16:18:17 +01:00
Daniel Marjamäki
amai2012
Carlo Marcelo Arenas Belón
IOBYTE
Ayaz Salikhov
PKEuS
orbitcowboy
PKEuS