Daniel Marjamäki
|
8b6f001f94
|
value flow: inconclusive handling of unknown functions
|
2014-01-12 19:48:20 +01:00 |
|
Daniel Marjamäki
|
2e67ca06c0
|
value flow: some simplifications in unknown functions when there is library configuration
|
2014-01-12 18:19:00 +01:00 |
|
Daniel Marjamäki
|
d700114edf
|
value flow: bailout if condition is defined by macro
|
2014-01-12 17:16:51 +01:00 |
|
Daniel Marjamäki
|
3d79613f2b
|
value flow: more bailouts when return/break/continue/goto is reached. TODO: handle these better.
|
2014-01-12 15:07:58 +01:00 |
|
Daniel Marjamäki
|
155990cb0e
|
value flow: improved checking of do-while loops for non-local variables
|
2014-01-12 15:02:58 +01:00 |
|
Daniel Marjamäki
|
5b679fc732
|
value flow: fixed fp for data member
|
2014-01-12 14:37:26 +01:00 |
|
Daniel Marjamäki
|
21d317b7d6
|
value flow: fixed redundant null pointer check
|
2014-01-12 12:38:41 +01:00 |
|
Daniel Marjamäki
|
d8262963d9
|
value flow: condition in loop, bailout valueflow analysis before loop if there is assignment inside the loop
|
2014-01-12 11:58:10 +01:00 |
|
Daniel Marjamäki
|
f58e1ab80e
|
value flow: fixed fp in switch
|
2014-01-11 21:21:00 +01:00 |
|
Daniel Marjamäki
|
3625d179e5
|
value flow: don't perform value flow analysis in sizeof/typeof expressions
|
2014-01-11 21:10:01 +01:00 |
|
Daniel Marjamäki
|
680d3f1312
|
value flow: fixed fp for nested assignments
|
2014-01-11 20:53:23 +01:00 |
|
Daniel Marjamäki
|
4d045879aa
|
value flow: fixed fp when while condition contains variable that is changed in loop body
|
2014-01-11 20:25:49 +01:00 |
|
Daniel Marjamäki
|
75f9111775
|
value flow: bailout when variable is used in assignment to itself
|
2014-01-11 15:36:09 +01:00 |
|
Daniel Marjamäki
|
eaf8c83db5
|
value flow: refactoring. broke out function for skipping value simplifications in expressions.
|
2014-01-11 14:54:10 +01:00 |
|
Daniel Marjamäki
|
85dcb14813
|
value flow: bailout in valueFlowBeforeCondition if variable can be assigned by subfunction
|
2014-01-11 14:31:51 +01:00 |
|
Daniel Marjamäki
|
225001a45c
|
value flow: changed astparent lookup
|
2014-01-11 12:47:47 +01:00 |
|
Daniel Marjamäki
|
02b92efd1a
|
value flow: improved analysis of expressions below ?, && and || operators
|
2014-01-11 12:44:55 +01:00 |
|
Daniel Marjamäki
|
60348da1b5
|
value flow: fixed fp for rhs in && and || expressions
|
2014-01-11 11:30:34 +01:00 |
|
Daniel Marjamäki
|
1ad94a8be5
|
value flow: loosen up bailouts in valueFlowSubFunction
|
2014-01-11 07:52:25 +01:00 |
|
Daniel Marjamäki
|
57d241793f
|
value flow: fix segfault if var is null
|
2014-01-10 18:30:41 +01:00 |
|
Daniel Marjamäki
|
c687933e9f
|
value flow: improved handling of for loops
|
2014-01-10 18:19:24 +01:00 |
|
Daniel Marjamäki
|
3eebc8a9f1
|
test1
|
2014-01-10 16:51:58 +01:00 |
|
Daniel Marjamäki
|
3e7f692d4d
|
value flow: stop checking global variable when going out of function scope
|
2014-01-10 16:17:19 +01:00 |
|
Daniel Marjamäki
|
acb103e214
|
value flow: skip scopes that don't contain variable
|
2014-01-10 16:13:39 +01:00 |
|
Daniel Marjamäki
|
81513b4346
|
value flow: Readded safety check that tok->astOperand1() is not NULL
|
2014-01-10 05:54:03 +01:00 |
|
Daniel Marjamäki
|
d085705e8f
|
value flow: assume that value of global const variable is not changed
|
2014-01-10 05:47:56 +01:00 |
|
Daniel Marjamäki
|
32f2ee422f
|
value flow: fixed segfault and added more handling of unsigned values
|
2014-01-08 20:10:38 +01:00 |
|
Daniel Marjamäki
|
7c4a7ac3d5
|
value flow: starting to refactor CheckNullPointer::nullPointerDeRefThenCheck
|
2014-01-08 17:37:39 +01:00 |
|
Daniel Marjamäki
|
26a72d73fe
|
value flow: improved subfunction handling when using && or || in function argument
|
2014-01-08 16:49:15 +01:00 |
|
Daniel Marjamäki
|
a2fe1ebe92
|
value flow: pass result of bool operator to function
|
2014-01-08 16:17:47 +01:00 |
|
Daniel Marjamäki
|
6d22c9deaa
|
value flow: if unsigned variable is compared against 1 with either >= or <= then assume it can have the value 0
|
2014-01-08 06:53:17 +01:00 |
|
Daniel Marjamäki
|
1e3c43e708
|
value flow: improved bailouts in ?:
|
2014-01-08 06:39:15 +01:00 |
|
Daniel Marjamäki
|
dfee044925
|
value flow: Fixed wrong value in subfunction after conditional return
|
2014-01-08 06:04:51 +01:00 |
|
Daniel Marjamäki
|
1fb0b1750c
|
value flow: Fixed FP in ?:
|
2014-01-07 19:46:13 +01:00 |
|
Daniel Marjamäki
|
740f72fdbd
|
value flow: simple handling of for loops
|
2014-01-07 19:20:56 +01:00 |
|
Daniel Marjamäki
|
a6320a35e0
|
value flow: added experimental subfunction handling
|
2014-01-06 16:37:52 +01:00 |
|
Daniel Marjamäki
|
58fb2e756b
|
Value flow: added bailout on }
|
2014-01-06 11:27:56 +01:00 |
|
Daniel Marjamäki
|
a5b79bc968
|
value flow: fixed bailout so it really bails out
|
2014-01-06 10:23:17 +01:00 |
|
Daniel Marjamäki
|
c4fa3bb137
|
value flow: added bailouts for global variables and assignments
|
2014-01-06 07:44:58 +01:00 |
|
Daniel Marjamäki
|
afaf1473a8
|
Value flow: refactorings, write debug warning if iterating too far
|
2014-01-05 20:06:46 +01:00 |
|
Daniel Marjamäki
|
9fabc7991a
|
value flow: fixed segfault when checking lib/mathlib.cpp
|
2014-01-04 21:28:15 +01:00 |
|
Daniel Marjamäki
|
45278eadc7
|
value flow: fixed bugs
|
2014-01-04 21:23:17 +01:00 |
|
Daniel Marjamäki
|
d8270c710a
|
Add new experimental value flow analysis
|
2014-01-04 20:57:02 +01:00 |