Commit Graph

16128 Commits

Author SHA1 Message Date
Daniel Marjamäki 0ba8885d89 Travis: Add misra test 2017-04-14 12:44:24 +02:00
Daniel Marjamäki 9c8fc6253a Misra: Added verification code in the script to simplify testing 2017-04-14 11:20:20 +02:00
Daniel Marjamäki 174bcc8d34 Misra: Add rule 16.3 2017-04-14 10:46:35 +02:00
Daniel Marjamäki aa2d1fd683 Misra: Add rule 16.2 2017-04-14 08:17:32 +02:00
Daniel Marjamäki 0052ef7437 Misra: Add rule 15.7 2017-04-14 08:05:14 +02:00
Daniel Marjamäki 471a9af348 Misra: Added rule 15.6 2017-04-13 23:24:35 +02:00
Daniel Marjamäki ec72330e7a Misra: Add rule 15.5 2017-04-13 23:07:41 +02:00
Daniel Marjamäki 4ebe520858 Misra: Added rule 15.3 2017-04-13 23:02:06 +02:00
Daniel Marjamäki 14a27f292e Misra: Added rule 15.2 2017-04-13 22:44:43 +02:00
Daniel Marjamäki b620853b25 Misra: Added rule 14.2 2017-04-13 22:26:12 +02:00
Daniel Marjamäki 466bbdcf6f Misra: Add Rule 14.1 2017-04-13 22:05:27 +02:00
Daniel Marjamäki 0c26d9e470 Misra: Added rule 13.6 2017-04-13 21:40:59 +02:00
Daniel Marjamäki cead8a62b4 Misra: Added rule 13.4 2017-04-13 19:43:06 +02:00
Daniel Marjamäki e7483e1b2a Misra: Added rule 13.3 2017-04-13 19:38:25 +02:00
Daniel Marjamäki 5b0ee55964 Misra: Added rule 13.1 2017-04-13 19:11:48 +02:00
Daniel Marjamäki b876249b6b Misra: Added 12.4 2017-04-13 11:05:04 +02:00
Daniel Marjamäki 44f9f1c065 Misra: Added 12.2 rule 2017-04-13 10:04:50 +02:00
Daniel Marjamäki ed03545725 Misra: Try to avoid FPs 2017-04-12 21:45:39 +02:00
Daniel Marjamäki 385d43facc Misra: Added 12.3 rule 2017-04-12 20:18:54 +02:00
Daniel Marjamäki 024b9c87d0 Misra: improve 7.3 2017-04-12 19:07:10 +02:00
Daniel Marjamäki f6afbbe65d Misra: updated 12.1 check 2017-04-12 16:19:13 +02:00
Daniel Marjamäki d252a64ec8 Cleanup CheckFunctions::checkIgnoredReturnValue 2017-04-12 10:44:08 +02:00
PKEuS b97779591e Fixed unit test in testbufferoverrun.cpp 2017-04-11 23:00:33 +02:00
Daniel Marjamäki cb274bc71d Misra: Add rule 12.1 2017-04-11 22:21:54 +02:00
Daniel Marjamäki 41a64f6d1f Fix crash 2017-04-11 20:16:33 +02:00
Daniel Marjamäki f4327f5e45 Misra: Remove feature matrix for now. Implement 7.3. 2017-04-11 19:03:35 +02:00
Daniel Marjamäki bf209890cb Misra: target MISRA C 2012 2017-04-11 14:45:38 +02:00
Matthias Krüger a26abfb8e4 reduce: fix build, adapt settings. 2017-04-11 12:09:18 +02:00
PKEuS b1f4bd7504 Refactorization: Reimplemented Settings::_enabled as a bitfeld instead of std::set (#7995) 2017-04-11 11:49:26 +02:00
Daniel Marjamäki 4d1a64301c AST: Fixed Match pattern '|*' => '*|' 2017-04-10 23:44:30 +02:00
Daniel Marjamäki 632a6b664c AST: Harden handling of C++11 2017-04-10 23:29:15 +02:00
Daniel Marjamäki 2c43075ece AST: weird clang syntax 2017-04-10 23:05:41 +02:00
Daniel Marjamäki df90ff9f5e Merge pull request #888 from simartin/ticket_7942
Don't generate invalid syntax for out of line template class constructors during instantiation
2017-04-10 22:18:20 +02:00
Daniel Marjamäki 5e1b6aee8c AST: Fix hang for weird VLA code 2017-04-10 22:17:34 +02:00
Daniel Marjamäki ffeadbdde4 AST: improved handling for struct initialization 's = { [0] = 123 }' 2017-04-10 07:25:18 +02:00
Daniel Marjamäki d92c529aa6 AST: Fix wrong handling of struct initialization, caused hang 2017-04-09 22:06:13 +02:00
Daniel Marjamäki 45d2d66df3 Remove redundant space in Token::Match pattern 2017-04-09 19:27:11 +02:00
Daniel Marjamäki e6005dfa3c AST: Fix AST for lambda '[&]{..}' 2017-04-09 17:49:55 +02:00
Matthias Krüger 59b0c6f6b1 travis: self check: add missing include paths that cppcheck didn't find. 2017-04-09 17:28:19 +02:00
Matthias Krüger 494f64cb88 tests: fix some self-check findings about functions that can be static.
Was:
[test/testtype.cpp:223]: (performance, inconclusive) Technically the member function 'TestType::removeFloat' can be static.
[test/testsymboldatabase.cpp:61]: (performance, inconclusive) Technically the member function 'TestSymbolDatabase::getSymbolDB_inner' can be static.
[test/teststl.cpp:1437]: (performance, inconclusive) Technically the member function 'TestStl::getArraylength' can be static.
2017-04-09 17:28:00 +02:00
Matthias Krüger 7d12e1f3a6 valueFlowGetArrayIndexes: convert Token::Match to Token::simpleMatch.
The pattern is a sole "[", but since "[" is also used for complexe patterns, the internal check that finds potential simple match patterns bailed out here.
2017-04-09 17:27:46 +02:00
Simon Martin ee05fe7d77 Ticket #7942: Don't generate invalid syntax for out of line template class constructors during instantiation. 2017-04-09 16:12:59 +02:00
Daniel Marjamäki efae089b10 MISRA: Remove rule texts, it seems we are not allowed to include them. 2017-04-09 14:50:00 +02:00
Daniel Marjamäki a4277b7ac6 misra 19 fix 2017-04-09 13:51:36 +02:00
Daniel Marjamäki 3a386d23af Misra 32 2017-04-09 13:45:32 +02:00
Daniel Marjamäki 6e0af5d01f MISRA 19 and 28 2017-04-09 10:11:54 +02:00
Daniel Marjamäki f67f2a2339 Travis: skip the addons folder when selfchecking 2017-04-09 08:50:05 +02:00
Daniel Marjamäki 4a9d269463 Merge pull request #887 from IOBYTE/master
Add ValueType and auto type information to debug output.
2017-04-08 19:34:05 +02:00
Daniel Marjamäki 8755023c1c Fix MISRA 58 2017-04-08 19:33:26 +02:00
Daniel Marjamäki 8846077caa Fix and test MISRA 2017-04-08 19:00:50 +02:00