summaryrefslogtreecommitdiff
path: root/src/analysis
AgeCommit message (Expand)AuthorFilesLines
2015-07-23Add this pointer as known non null var in methods.Andrei Karas1-0/+4
2015-07-22Allow detect some kind of empty pointer variables or if assigned unknown value.Andrei Karas1-11/+19
2015-07-22Remove from checking for null pointers COMPONENT_REF node.Andrei Karas1-0/+2
2015-07-22Fix memory corruption on removing linked variables.Andrei Karas1-0/+5
2015-07-22Allow detect as non null if to pointer assigned address from some var.Andrei Karas1-0/+14
2015-07-21Track new pointer variables if variable not have initial value.Andrei Karas1-0/+6
2015-07-21Fix possible memory corruption in working with linked variables.Andrei Karas1-10/+5
2015-07-21Track variables as non null if to pointer variable assigned non zero value.Andrei Karas1-2/+5
2015-07-21Fix false positives with detecting variables as pointers in VAR_DECL nodes.Andrei Karas1-0/+3
2015-07-20Work with break statement in same way like with continue.Andrei Karas3-0/+15
2015-07-20Fix detection for normal variables as pointers.Andrei Karas1-2/+5
2015-07-20Fix handling "var = new Type" if Type have virtual destructor.Andrei Karas1-14/+45
2015-07-20Improve call function handling.Andrei Karas2-22/+34
2015-07-20Detect what variable is null after if with both branches set variable to null...Andrei Karas1-0/+8
2015-07-20Allow detect if variable was assigned nullptr.Andrei Karas1-0/+5
2015-07-20Detect what variable is non null after if with both branches set variable to ...Andrei Karas1-1/+13
2015-07-20Add ability for detect what variable will be non null after if block (in else...Andrei Karas3-5/+21
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-19Fix ability for detect what variable will be non null after while block.Andrei Karas1-1/+3
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 ability to detect return from operator new as non null pointer.Andrei Karas1-1/+3
2015-07-10Fix false positive like this: ptr = ptr->val;Andrei Karas1-4/+9
2015-07-10Add analysis for CONTINUE_STMT node.Andrei Karas4-4/+27
2015-07-10Unlink assigned variable in if/while body.Andrei Karas2-10/+19
2015-07-10Fix false positives in second check in while condition.Andrei Karas1-0/+2
2015-07-10Disable check for useless checks in second check in while condition.Andrei Karas2-4/+8
2015-07-10In WHILE_STMT also check condition after while body.Andrei Karas1-0/+5
2015-07-10Add ability to check variables assigned in if/while and check outside of this...Andrei Karas3-22/+20
2015-07-08Add WHILE_STMT node analysis.Andrei Karas5-1/+119
2015-07-06Track variable for checking null pointer assigned from function call only if ...Andrei Karas1-0/+16
2015-07-06Add way to track variables if to it was assigned function result.Andrei Karas6-11/+129
2015-07-05Add non null function arguments to knownVars and knownNonNullVars collections.Andrei Karas1-1/+5
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-04Fix false positive in complex conditions like if (expr1 || expr2 || expr3)Andrei Karas1-23/+7
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-03Remove all variables from knownVars if both branches in if returned.Andrei Karas1-1/+3
2015-07-03Fix collections after IF_STMT or other conditions.Andrei Karas2-13/+33
2015-07-03Fix warning about wrong internal collection.Andrei Karas1-1/+1
2015-07-03Add incomplete implimentation for checkedElse* sets.Andrei Karas6-14/+73
2015-07-03Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into c...Andrei Karas6-74/+74
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas4-16/+69
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-02Remove variable from checked vars if variable assigned unknown expression.Andrei Karas1-10/+20
2015-07-02Ignore analysis for node CALL_EXPR if enabled plugin command findargs.Andrei Karas1-0/+3
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-06-29 19:32:09 +0000