summaryrefslogtreecommitdiff
path: root/src/analysis/analysis.h
AgeCommit message (Expand)AuthorFilesLines
2015-07-01Move collection manipulation functions into separate file.Andrei Karas1-23/+0
2015-07-01Move report functions into separate file.Andrei Karas1-14/+0
2015-07-01Add addNullVar function. Improve a bit analysis for MODIFY_EXPR.Andrei Karas1-0/+3
2015-07-01Add ability for remove variable from checks without linked vars.Andrei Karas1-0/+3
2015-07-01Rename removeNullVars into removeNullVarsAll.Andrei Karas1-2/+2
2015-06-30Fix issue if linking var to child linked var. Now it always replaced to parent.Andrei Karas1-1/+1
2015-06-28Rename checkNullVars into needCheckNullVars.Andrei Karas1-3/+3
2015-06-28Add warning for more than one checks for non null variables.Andrei Karas1-0/+3
2015-06-27Check function parameters what must be non nullAndrei Karas1-0/+4
2015-06-26Add comments and improve a bit analyser logic.Andrei Karas1-2/+0
2015-06-26Fix program name in copyright headers.Andrei Karas1-1/+1
2015-06-25Fix some false positives and other issues related to linked vars.Andrei Karas1-0/+2
2015-06-23Fix false positive for ADDR_EXPR node.Andrei Karas1-0/+2
2015-06-22Add support for related checks for "linked" variables.Andrei Karas1-0/+4
2015-06-22Add analysis for code like "type *var = parm"Andrei Karas1-0/+3
2015-06-20Add support for ignore already checked vars in complex expressions.Andrei Karas1-0/+6
2015-06-19Fix some issues in expressions like this "if (EXPR || EXPR)"Andrei Karas1-2/+6
2015-06-19Improve expression analysis.Andrei Karas1-0/+2
2015-06-18Improve analysis for nodes EQ_EXPR, NE_EXPR, TRUTH_ORIF_EXPR (incomplete).Andrei Karas1-0/+2
2015-06-17Skip NOP_EXPR nodes in IF_STMT analysis.Andrei Karas1-0/+2
2015-06-17Extract null pointer reporting code into separate function.Andrei Karas1-0/+4
2015-06-11Fix some issues in test6.Andrei Karas1-0/+2
2015-06-11Change how node analysers getting information about current tasks.Andrei Karas1-2/+2
2015-06-10Allow in walking from one node change searched variables in same node levels.Andrei Karas1-1/+1
2015-06-09Add location detection for *_EXPR nodes.Andrei Karas1-0/+2
2015-06-09Add basic walking tree parameters.Andrei Karas1-2/+5
2015-06-09Add basic tree analysis. Dump function arguments and detect pointers without ...Andrei Karas1-0/+34