summaryrefslogtreecommitdiff
path: root/src/analysis/collections.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-07-23While adding known null/non null vars also add it to known vars collection.Andrei Karas1-0/+4
2015-07-22Fix memory corruption on removing linked variables.Andrei Karas1-0/+5
2015-07-21Fix possible memory corruption in working with linked variables.Andrei Karas1-10/+5
2015-07-20Add ability for detect what variable will be non null after if block (in else...Andrei Karas1-1/+15
2015-07-20If in if/while body changed any variable, outside of body it removed from kno...Andrei Karas1-0/+11
2015-07-19Handle situation like this: "type var = nullptr". Here var will be known as n...Andrei Karas1-0/+11
2015-07-19Add ability for detect what variable will be non null after if block.Andrei Karas1-0/+31
2015-07-10Unlink assigned variable in if/while body.Andrei Karas1-10/+17
2015-07-10Add ability to check variables assigned in if/while and check outside of this...Andrei Karas1-15/+12
2015-07-08Add WHILE_STMT node analysis.Andrei Karas1-0/+30
2015-07-06Add way to track variables if to it was assigned function result.Andrei Karas1-2/+15
2015-07-05Fix analysis for BIND_EPXR nodes.Andrei Karas1-1/+1
2015-07-04Fix most issues with linked vars.Andrei Karas1-21/+94
2015-07-03Fix some issues with linked vars.Andrei Karas1-0/+42
2015-07-03Add incomplete implimentation for checkedElse* sets.Andrei Karas1-0/+34
2015-07-03Rename checkedNullVars into checkedThenNullVars and checkedNonNullVars into c...Andrei Karas1-14/+14
2015-07-03Try to fix false positives. Still not all issues fixed.Andrei Karas1-0/+8
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 Karas1-0/+22
2015-07-01Move collection manipulation functions into separate file.Andrei Karas1-0/+172