Daniel Marjamäki
|
b204be474a
|
Refactoring bug hunting test cases for CVE issues. Leave source code unmodified.
|
2020-05-02 21:57:36 +02:00 |
|
Daniel Marjamäki
|
e75c7fa26f
|
Add bug hunting test case for CVE-2019-10018
|
2020-05-02 19:56:42 +02:00 |
|
Daniel Marjamäki
|
0fcc0c3f6e
|
Add bug hunting test case for CVE-2019-10019
|
2020-05-02 19:51:59 +02:00 |
|
Daniel Marjamäki
|
73c7d8b89d
|
Add bug hunting test case for CVE-2019-10020
|
2020-05-02 19:34:33 +02:00 |
|
Daniel Marjamäki
|
22ae962dd1
|
Added bug hunting test case for CVE-2019-10021
|
2020-05-02 19:29:56 +02:00 |
|
Daniel Marjamäki
|
09a9556a79
|
Added bug hunting test case for CVE-2019-10023
|
2020-05-02 19:25:39 +02:00 |
|
Daniel Marjamäki
|
9587f22834
|
Add bug hunting test case for CVE-2019-19888
|
2020-05-02 19:16:26 +02:00 |
|
Daniel Marjamäki
|
eadd5fb97a
|
Add bug hunting test for CVE-2019-10024
|
2020-05-02 17:09:43 +02:00 |
|
Daniel Marjamäki
|
5eeeba97eb
|
SymbolDatabase: Better handling of function pointer function argument
|
2020-05-02 17:04:54 +02:00 |
|
Daniel Marjamäki
|
90108002e5
|
Add bug hunting test case for CVE-2019-10025
|
2020-05-02 11:48:15 +02:00 |
|
Daniel Marjamäki
|
b62214a8fd
|
Added bug hunting test case for CVE-2019-10026
|
2020-05-02 11:16:05 +02:00 |
|
Daniel Marjamäki
|
4a96799446
|
Bug hunting: in cve tests use proper compiler define
|
2020-05-01 20:29:27 +02:00 |
orbitcowboy
|
184977730c
|
wxwidgets.cfg: Fixed false positive because Cppcheck cfg is not able to handle overloaded functions
|
2020-05-01 20:12:42 +02:00 |
|
Daniel Marjamäki
|
56abbc1d42
|
Fixed segmentation faults
|
2020-05-01 18:10:18 +02:00 |
|
Daniel Marjamäki
|
e52eb087a3
|
Add bug hunting test CVE-2019-19872
|
2020-05-01 17:20:13 +02:00 |
|
Daniel Marjamäki
|
5084c253b3
|
Add bug hunting test CVE-2019-14494
|
2020-05-01 16:33:14 +02:00 |
|
Daniel Marjamäki
|
c8bda0fbff
|
Travis: Remove TestExprEngine for now, that does not work well
|
2020-05-01 15:22:04 +02:00 |
|
Daniel Marjamäki
|
34572a40ab
|
Bug hunting: Fixed handling of switch 'case %char%'
|
2020-05-01 15:15:24 +02:00 |
|
Daniel Marjamäki
|
2011a4dcbf
|
Bug hunting: Add CVE test case
|
2020-05-01 14:27:18 +02:00 |
|
Daniel Marjamäki
|
1ea6c34df0
|
Travis: add some bug hunting tests
|
2020-05-01 14:09:47 +02:00 |
|
Daniel Marjamäki
|
1683bd38d1
|
Bug hunting: Added CVE test case
|
2020-05-01 13:59:17 +02:00 |
|
Daniel Marjamäki
|
daae26c474
|
Bug hunting: Add CVE test suite
|
2020-05-01 12:21:08 +02:00 |
|
Daniel Marjamäki
|
ef2e272f20
|
Fixed test/bug-hunting/itc.py
|
2020-05-01 10:22:05 +02:00 |
|
Daniel Marjamäki
|
999ef06156
|
ExprEngine: Try to handle function with unknown type better
|
2020-04-30 22:10:30 +02:00 |
|
Daniel Marjamäki
|
b27fabaacb
|
Refactoring ExprEngine
|
2020-04-30 21:49:27 +02:00 |
|
Daniel Marjamäki
|
b97250e0fa
|
ExprEngine; Try to handle assignments better
|
2020-04-30 21:05:34 +02:00 |
|
Daniel Marjamäki
|
5a9e81897a
|
ExprEngine: Document how it works
|
2020-04-30 12:18:49 +02:00 |
|
Daniel Marjamäki
|
1c6b6dc384
|
Manual; In bug hunting chapter focus on GUI usage better
|
2020-04-29 22:27:34 +02:00 |
|
Daniel Marjamäki
|
e30eabc896
|
ExprEngine: Fail to execute contract => write error message
|
2020-04-29 18:30:12 +02:00 |
|
Daniel Marjamäki
|
cdc530a25f
|
GUI: When clearing results, remove files in build dir
|
2020-04-29 18:10:01 +02:00 |
|
Daniel Marjamäki
|
e89f5ab593
|
GUI: Double click on contract to edit it
|
2020-04-29 17:51:25 +02:00 |
|
Daniel Marjamäki
|
daea5e2d6c
|
Bug hunting: Do not warn about 'Division by zero' when variable is uninitialized
|
2020-04-29 11:00:33 +02:00 |
|
Daniel Marjamäki
|
5d67fd0e56
|
Bug hunting: Set 'inconclusive' flag for bailout values
|
2020-04-29 10:58:01 +02:00 |
|
Daniel Marjamäki
|
3eb19a64cb
|
Removed inline suppression, it was not a FP, use #ifdef differently
|
2020-04-28 22:29:16 +02:00 |
|
Daniel Marjamäki
|
13e79fdeb6
|
Temporary inline suppression to hide false positive
|
2020-04-28 22:21:07 +02:00 |
|
Daniel Marjamäki
|
249a101ec2
|
Travis: Fix naming
|
2020-04-28 22:18:02 +02:00 |
|
Daniel Marjamäki
|
12dfd8a5ca
|
GUI: Show missing/added contracts in tab
|
2020-04-28 22:09:01 +02:00 |
|
Daniel Marjamäki
|
dab8b9fd31
|
ExprEngine: Improved checking of contracts in function calls
|
2020-04-28 17:16:13 +02:00 |
|
Daniel Marjamäki
|
1de1e7daa0
|
AUTHORS: added felwolff
|
2020-04-28 07:43:37 +02:00 |
felwolff
|
b65d72aeb6
|
misra.py: Fix 5.1 and 5.2 FP for c99 (#2625)
|
2020-04-28 07:18:54 +02:00 |
|
Daniel Marjamäki
|
30e6214f1c
|
Try to make Travis happy
|
2020-04-27 19:51:46 +02:00 |
|
Daniel Marjamäki
|
c19a9c2ad9
|
GUI: Only edit contract for non-bailout warnings
|
2020-04-27 19:43:38 +02:00 |
|
Daniel Marjamäki
|
dae009ca01
|
GUI: Try to improve usability for function contracts
|
2020-04-27 17:36:17 +02:00 |
|
Daniel Marjamäki
|
2e369cc842
|
astyle formatting
[ci skip]
|
2020-04-27 17:35:52 +02:00 |
|
Daniel Marjamäki
|
19295d7933
|
AUTHORS: Add BrsBrd
|
2020-04-27 09:28:38 +02:00 |
Lionel Gimbert
|
ad6be7b122
|
Enforcing CppCoreGuideline C.35 on virtual class destructor (#2572)
* Enforcing CppCoreGuideline C.35
A base class destructor should be either public and virtual, or protected and non-virtual
https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#Rc-dtor-virtual
* Protected destructor of ciurtual class can be virtual
|
2020-04-27 09:22:42 +02:00 |
Georgy Komarov
|
20b02bff30
|
misra.py: Fix 20.7 FP for struct members (#2624)
This will close Trac#9673
|
2020-04-27 09:10:58 +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 |