Daniel Marjamäki
|
d2d2124238
|
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 again."
This reverts commit 207361b174102f38909aec9a996b944ecb370464.
|
2021-04-30 16:47:02 +02:00 |
|
Daniel Marjamäki
|
207361b174
|
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.
|
2021-04-21 18:59:48 +02:00 |
|
Daniel Marjamäki
|
42437277dc
|
Update Copyright year
|
2021-03-21 20:58:32 +01:00 |
|
Daniel Marjamäki
|
0988448319
|
Fixed self-check. Naming conventions
|
2021-02-25 10:54:29 +01:00 |
|
PKEuS
|
141d2ac215
|
Refactorization: Improved internal implementation of severity and certainty levels
Backported from LCppC.
|
2021-02-24 22:00:06 +01:00 |
|
Daniel Marjamäki
|
37a5ec8cd5
|
Summaries: Moved to its own files
|
2020-12-20 19:53:58 +01:00 |
|
Daniel Marjamäki
|
1bf6a2f62b
|
Summaries: Enhanced merge of noreturn info
|
2020-12-20 14:49:43 +01:00 |
|
Daniel Marjamäki
|
96caaedbd5
|
Generate basic function summaries
|
2020-12-19 19:02:42 +01:00 |
|
Daniel Marjamäki
|
33cde46068
|
astyle formatting
[ci skip]
|
2020-12-18 21:31:44 +01:00 |
|
Daniel Marjamäki
|
1b0ca0811f
|
Bug hunting; option to set function analysis max time
|
2020-12-18 19:59:10 +01:00 |
|
Oliver Stöneberg
|
fb37137216
|
extended the --clang command-line option so you can specify a custom … (#2734)
|
2020-09-06 07:46:51 +02:00 |
|
Daniel Marjamäki
|
6277eece67
|
Variable contracts
|
2020-08-24 20:57:49 +02:00 |
|
Daniel Marjamäki
|
34468f3c1a
|
Template simplifier; Write information message when recursion limit is reached.
|
2020-06-24 20:30:03 +02:00 |
|
Paul Fultz II
|
eed2e829a7
|
Revert "Cleanup: Removed Tokenizer::simplifyTokenList2. As a side-effect, rules for "simple" token list are now executed on normal token list." (#2666)
This reverts commit 187cde183dfd7baea8cee270a0fccac18f6a945a.
|
2020-05-30 11:23:22 +02:00 |
|
PKEuS
|
187cde183d
|
Cleanup: Removed Tokenizer::simplifyTokenList2. As a side-effect, rules for "simple" token list are now executed on normal token list.
|
2020-05-29 21:21:07 +02:00 |
|
Oliver Stöneberg
|
37bc0483a4
|
made check.h less heavy (#2633)
|
2020-05-23 07:16:49 +02:00 |
|
PKEuS
|
c409daf918
|
Fixed compilation: Added missing include
|
2020-05-19 08:38:51 +02:00 |
|
Daniel Marjamäki
|
547d1b158e
|
Fixed #9723 (GUI: inline suppressions does not work for addons)
|
2020-05-17 16:50:13 +02:00 |
|
Daniel Marjamäki
|
08ddd84780
|
Update copyright year
|
2020-05-10 11:16:32 +02:00 |
|
Daniel Marjamäki
|
3e0218299b
|
Revert "Update copyright year"
This reverts commit 6eec6c4bd53d42e3a1179fd3a8a7dae5a43d4d50.
|
2020-05-10 11:13:05 +02:00 |
|
Daniel Marjamäki
|
6eec6c4bd5
|
Update copyright year
|
2020-05-10 11:11:34 +02:00 |
|
Daniel Marjamäki
|
f7096a2232
|
Bug hunting: basic handling of contracts through GUI
|
2020-04-27 09:08:50 +02:00 |
|
Daniel Marjamäki
|
72e0a4be29
|
Fixed initializerList warning
|
2020-04-26 15:24:25 +02:00 |
|
Daniel Marjamäki
|
6d7dd7400d
|
Refactoring; Sort options alphabetically. Removed unused --check-diff functionality.
|
2020-04-26 10:22:12 +02:00 |
|
Daniel Marjamäki
|
bda73600e0
|
Tokenizer: Improved removal of unused template (#9588)
|
2020-04-20 20:48:22 +02:00 |
|
Sam Lane
|
60f9fefcd4
|
Add Support For Configuring Addon Python Interpreter Version (#2591)
|
2020-04-05 10:57:28 +02:00 |
|
Daniel Marjamäki
|
7577bdb1df
|
DACA: Try to avoid some crashes/hangs for the most crazy code so we can focus on most serious bugs first
|
2020-03-31 11:33:38 +02:00 |
|
Daniel Marjamäki
|
bb701fd8be
|
GUI: Tweak ProjectFileDialog: Bug hunting, safe class checking
|
2020-02-09 21:02:28 +01:00 |
|
fuzzelhjb
|
074d08e39e
|
Check specific Visual Studio configurations (#2503)
|
2020-01-31 07:08:38 +01:00 |
|
fuzzelhjb
|
d82da987e5
|
Support clang tidy (#2486)
|
2020-01-30 07:14:17 +01:00 |
|
Daniel Marjamäki
|
7820b5dbcc
|
Rename 'Verification' to 'Bug hunting'
|
2020-01-14 21:17:07 +01:00 |
|
fuzzelhjb
|
fcd5cda97f
|
Check selected files from project (#2378)
|
2020-01-10 08:57:37 +01:00 |
|
Daniel Marjamäki
|
b03bdfaf72
|
Import Clang ast dump (experimental)
|
2020-01-05 15:12:53 +01:00 |
|
Daniel Marjamäki
|
48be067dd1
|
Verification; Added --verify-diff option
|
2019-12-31 12:05:08 +01:00 |
|
Daniel Marjamäki
|
49ed1a82b4
|
Verification; save report in custom file
|
2019-12-27 19:25:06 +01:00 |
|
Daniel Marjamäki
|
4b4f7ea60b
|
Verification; Updated report
|
2019-12-27 19:05:22 +01:00 |
|
Daniel Marjamäki
|
2a2fa49098
|
Thread safety: use std::atomic for global flags
|
2019-12-19 18:38:22 +01:00 |
|
Daniel Marjamäki
|
81fff2edf1
|
Fixed #9464 (Import compile database; only check given configuration)
|
2019-11-09 17:51:42 +01:00 |
|
Daniel Marjamäki
|
40c3e68e07
|
ExprEngine: Add --debug-verify, fixed handling of global arrays
|
2019-09-29 15:00:54 +02:00 |
|
Oliver Stöneberg
|
de9f489b08
|
use range loops / constness (#2181)
* use range loops / constness
* platform.cpp: avoid shadowed variable
|
2019-09-19 20:29:33 +02:00 |
|
Daniel Marjamäki
|
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 |
|
PKEuS
|
9163248e0c
|
Fixed linker errors on Windows
|
2019-09-01 14:44:03 +02:00 |
|
Daniel Marjamäki
|
681bd0a911
|
GUI: Better settings for extended safe checks
|
2019-07-23 11:54:38 +02:00 |
|
Daniel Marjamäki
|
783f7f1648
|
Rename safeValues to unknownValues
|
2019-07-11 16:05:48 +02:00 |
|
Daniel Marjamäki
|
05d35b063d
|
Function return: Extra check of safe function return values
|
2019-07-10 20:00:21 +02:00 |
|
Daniel Marjamäki
|
c9906125de
|
Safe functions: Check more possible function argument values
|
2019-07-10 16:59:05 +02:00 |
|
Daniel Marjamäki
|
b94f4176f1
|
test/cli: execute addon
|
2019-04-14 15:00:03 +02:00 |
|
Daniel Marjamäki
|
d3e7d09f5c
|
Refactoring; Reorder Settings members alphabetically.
|
2019-04-13 15:34:50 +02:00 |
|
Daniel Marjamäki
|
cb06aebdab
|
Removed --std=posix. From now on, if you use --library=posix then the posix checks will be enabled.
|
2019-04-12 06:47:28 +02:00 |
|
Daniel Marjamäki
|
f6b410b469
|
GUI: add setting for 'checkHeaders', 'checkUnusedTemplates' and 'maxCtuDepth' to project
|
2019-04-10 16:49:24 +02:00 |
|