summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2015-07-20Add test 38. Update test results.Andrei Karas15-1549/+14767
2015-07-20If in if/while body changed any variable, outside of body it removed from kno...Andrei Karas3-0/+16
2015-07-19Handle situation like this: "type var = nullptr". Here var will be known as n...Andrei Karas3-0/+16
2015-07-19Update test 37.Andrei Karas4-0/+1372
2015-07-19Fix ability for detect what variable will be non null after while block.Andrei Karas1-1/+3
2015-07-19Add test 37.Andrei Karas7-1/+7584
2015-07-19Add ability for detect what variable will be non null after if block.Andrei Karas3-0/+41
2015-07-18Fix detecting sub nodes in MODIFY_EXPR.Andrei Karas1-3/+6
2015-07-13Add test 36.Andrei Karas7-1/+1730
2015-07-13Add ability to detect return from operator new as non null pointer.Andrei Karas1-1/+3
2015-07-10Add test 35. Update test results.Andrei Karas17-1422/+5435
2015-07-10Fix false positive like this: ptr = ptr->val;Andrei Karas1-4/+9
2015-07-10Update test 34.Andrei Karas4-0/+4160
2015-07-10Add analysis for CONTINUE_STMT node.Andrei Karas5-4/+29
2015-07-10Update test 34.Andrei Karas4-0/+1769
2015-07-10Unlink assigned variable in if/while body.Andrei Karas2-10/+19
2015-07-10Update test 34.Andrei Karas7-44/+1260
2015-07-10Fix false positives in second check in while condition.Andrei Karas1-0/+2
2015-07-10Update test 34.Andrei Karas6-737/+1922
2015-07-10Disable check for useless checks in second check in while condition.Andrei Karas4-7/+22
2015-07-10Update test 34. Update test results.Andrei Karas8-0/+1365
2015-07-10In WHILE_STMT also check condition after while body.Andrei Karas1-0/+5
2015-07-10Add test 34. Update test 31. Update test results.Andrei Karas14-1503/+8009
2015-07-10Add ability to check variables assigned in if/while and check outside of this...Andrei Karas3-22/+20
2015-07-08Add test 33.Andrei Karas7-1/+2100
2015-07-08Update test 32. Update test results.Andrei Karas26-3745/+8697
2015-07-08Add WHILE_STMT node analysis.Andrei Karas5-1/+119
2015-07-06Allow parse function type attributes in FUNCTION_TYPE always.Andrei Karas2-2/+2
2015-07-06Update test 32. Update test retulst.Andrei Karas18-3418/+6745
2015-07-06Track variable for checking null pointer assigned from function call only if ...Andrei Karas11-8/+52
2015-07-06Add test 32. Update test results.Andrei Karas14-3378/+6181
2015-07-06Add way to track variables if to it was assigned function result.Andrei Karas6-11/+129
2015-07-05Update test 30.Andrei Karas6-0/+393
2015-07-05Update test results.Andrei Karas3-0/+12
2015-07-05Add non null function arguments to knownVars and knownNonNullVars collections.Andrei Karas1-1/+5
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
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-07-04 15:10:06 +0000