summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2015-07-05Update test 29.Andrei Karas6-1384/+1896
2015-07-05Remove old commented code from statement analysis.Andrei Karas1-20/+0
2015-07-05Fix analysis for BIND_EPXR nodes.Andrei Karas2-3/+3
2015-07-04Update test results.Andrei Karas14-148/+515
2015-07-04Update test 28.Andrei Karas2-10/+10
2015-07-04Fix false positive in complex conditions like if (expr1 || expr2 || expr3)Andrei Karas1-23/+7
2015-07-04Update test 22.Andrei Karas1-0/+11
2015-07-04Add test 31.Andrei Karas7-1/+19897
2015-07-04Fix most issues with linked vars.Andrei Karas3-33/+99
2015-07-03Fix some issues with linked vars.Andrei Karas3-51/+80
2015-07-03Add to debug pseudo function collections linkedVars and linkedReverseVars.Andrei Karas1-4/+53
2015-07-03Update test 29.Andrei Karas4-0/+1178
2015-07-03Remove all variables from knownVars if both branches in if returned.Andrei Karas1-1/+3
2015-07-03Add test 30.Andrei Karas7-1/+2035
2015-07-03Update test 29.Andrei Karas5-133/+6394
2015-07-03Fix collections after IF_STMT or other conditions.Andrei Karas3-14/+34
Still broken linked vars and using just checked pointer in expression.
2015-07-03Fix warning about wrong internal collection.Andrei Karas1-1/+1
2015-07-03Add incomplete implimentation for checkedElse* sets.Andrei Karas7-14/+75
2015-07-03Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into ↵Andrei Karas7-77/+78
checkedThenNonNullVars.
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas5-17/+70
2015-07-02Add test 29.Andrei Karas7-1/+1899
2015-07-02If add new variable into linked vars, add it also to knownVars set.Andrei Karas1-0/+1
2015-07-02Add into function for linking variables also update for knownVars sets.Andrei Karas2-3/+26
2015-07-02Update test 28.Andrei Karas6-578/+1112
2015-07-02Remove variable from checked vars if variable assigned unknown expression.Andrei Karas1-10/+20
For now it can be call to function or some complicated expression.
2015-07-02Update test 28. Update test results.Andrei Karas9-301/+686
2015-07-02Ignore analysis for node CALL_EXPR if enabled plugin command findargs.Andrei Karas1-0/+3
2015-07-02Remove var from knownVars collections if to var assigned "garbage" value.Andrei Karas1-0/+3
2015-07-02Update test 28.Andrei Karas4-0/+890
2015-07-02Fix knownVars collection again.Andrei Karas1-4/+10
2015-07-02Add test 28.Andrei Karas7-1/+4707
2015-07-02Fix knownVars collections after exit from IF_STMT with return in some/all ↵Andrei Karas1-1/+8
branches.
2015-07-01Some fixes for known vars collections.Andrei Karas2-3/+11
2015-07-01Add way for check internall collections by pseudo function call from code.Andrei Karas6-0/+241
2015-07-01Move collection manipulation functions into separate file.Andrei Karas7-166/+237
2015-07-01Move report functions into separate file.Andrei Karas8-112/+189
2015-07-01Add macroses isIn and IsNotIn.Andrei Karas5-34/+40
2015-07-01Update test results.Andrei Karas2-1/+15
2015-07-01Update test 26.Andrei Karas6-274/+1906
2015-07-01Report useless checks if variable was checked for null and non null in all ↵Andrei Karas1-3/+6
cases.
2015-07-01Update test 26.Andrei Karas6-0/+2470
2015-07-01Fix different issues in useless variables checks.Andrei Karas2-11/+22
2015-07-01Update test 27. Update test results.Andrei Karas8-14/+4005
2015-07-01Add addNullVar function. Improve a bit analysis for MODIFY_EXPR.Andrei Karas3-20/+30
2015-07-01Add ability for remove variable from checks without linked vars.Andrei Karas5-4/+44
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas6-31/+31
2015-06-30Into walkitem add set knownNonNullVars.Andrei Karas4-7/+18
2015-06-30Add into analysis ignoring variables if variable get unknown value.Andrei Karas1-0/+12
2015-06-30Improve copy walk flags to child nodes.Andrei Karas1-7/+7
2015-06-30Add test 27.Andrei Karas7-1/+3203