summaryrefslogtreecommitdiff
path: root/src/analysis
AgeCommit message (Expand)AuthorFilesLines
2015-08-04In warnings replaces words fields and parameters to variables.Andrei Karas1-3/+3
2015-08-04Add support for checking some global pointers.Andrei Karas2-1/+4
2015-08-04Add initial support for tracking 'nonnullpointer' attribute.Andrei Karas3-37/+69
2015-08-04Replace variables name types from std::string to VarItem.Andrei Karas4-89/+139
2015-08-04Ignore variables if FIELD_DECL have attribute nonnullpointer.Andrei Karas1-1/+19
2015-08-04Return from COMPOUND_EXPR numeric result.Andrei Karas1-0/+4
2015-08-04Add numeric value in node calculation.Andrei Karas5-8/+109
2015-08-03Fix false positives in IF_STMT/WHILE_STMT condition if useless checks detected.Andrei Karas1-0/+10
2015-07-24Add detection for some calls to new operator.Andrei Karas1-0/+6
2015-07-24Dont add unknown var if it already known and var node is empty.Andrei Karas1-1/+2
2015-07-24Dont add empty variable names from parsing function.Andrei Karas1-0/+2
2015-07-23Add some missing checks for null pointers.Andrei Karas1-0/+6
2015-07-23Check right part of MODIFY_EXPR node.Andrei Karas1-0/+4
2015-07-23Do not check for null pointers variables with vptr.Andrei Karas2-0/+19
2015-07-23Fix some false positive with getting address from pointer variable.Andrei Karas1-0/+6
2015-07-23Fix some false positive with calling function.Andrei Karas1-4/+18
2015-07-23Dont check variable type on PARM_DECL also add unknown vars to known.Andrei Karas1-8/+22
2015-07-23While adding known null/non null vars also add it to known vars collection.Andrei Karas1-0/+4
2015-07-23Check all variables before using for pointer type.Andrei Karas1-1/+35
2015-07-23Remove null checks from COMPONENT_REF node. But add check in different parent...Andrei Karas8-10/+195
2015-07-23Ignore 'this' variable from internal checks.Andrei Karas1-1/+5
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