Daniel Marjamäki
|
6f1df50511
|
Manual: minor tweaks of 'bug hunting' chapter
|
2020-05-03 17:42:43 +02:00 |
|
Daniel Marjamäki
|
b5094f298a
|
Bug hunting; Add new 'incomplete' flag for error messages. Used when analysis is incomplete.
|
2020-05-03 17:20:38 +02:00 |
|
Daniel Marjamäki
|
0f6d8546cd
|
Add bug hunting test case for CVE-2019-15939
|
2020-05-03 10:35:38 +02:00 |
amai2012
|
e0be3f6f1b
|
CI: Build GUI on ubuntu (#2626)
|
2020-05-03 10:10:39 +02:00 |
|
amai2012
|
c702046cce
|
CI: Build GUI with QtCharts (#2627)
|
2020-05-03 10:09:52 +02:00 |
|
Daniel Marjamäki
|
40dba74ac8
|
Add bug hunting test case for CVE-2019-16168
|
2020-05-03 08:49:24 +02:00 |
|
Daniel Marjamäki
|
4c63940902
|
Add bug hunting test case for CVE-2019-7156
|
2020-05-02 22:22:31 +02:00 |
|
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 |